]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9283c1c) | patch
* added new .ml files to be ignored
authorLuca Padovani <luca.padovani@unito.it>
Tue, 7 Oct 2003 17:24:38 +0000 (17:24 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 7 Oct 2003 17:24:38 +0000 (17:24 +0000)
commitfde0ad77237a2fbdfb5621d5b5085fe7c82e3f92
treec5cb607e560771e23cd78eaf3d7d267824470062tree | snapshot
parent9283c1c43e1e8ea31f9c5f141672cc7d2bb202c5commit | diff
* added new .ml files to be ignored
helm/DEVEL/lablgtkmathview/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.