]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6d9bfd) | patch
No more garbage in the metasenv.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Feb 2004 18:18:52 +0000 (18:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Feb 2004 18:18:52 +0000 (18:18 +0000)
commit6ad08f90aa4a565d9b9dc54df32ddaf072506aad
treea9b26d6bdaed8d31e682ad2f8d0130236c7b7907tree | snapshot
parenta6d9bfd36f9ae6bce95d886eb41ea561dc0cb755commit | diff
No more garbage in the metasenv.
helm/gTopLevel/tests/fix00.cic.test diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.