projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 11:06:31 +0000 (11:06 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 11:06:31 +0000 (11:06 +0000) | ||
| commit | 89f3f2762bc0abf3018188de5af56b425565b8bd | |
| tree | 0e676ee7ec523dc5f23cc7c0512d7f31a2bb5c16 | tree | snapshot |
| parent | 6e1a10d8ff8ca9c1ff3305f6dd784a74523fe8aa | commit | diff |
| helm/software/matita/icons/matita-32.xpm | [new file with mode: 0644] | blob |