]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbb2b03) | patch
removed a maybe diverging test
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 29 Jun 2009 14:30:18 +0000 (14:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 29 Jun 2009 14:30:18 +0000 (14:30 +0000)
commit153b307a9bb0750249487462dbe3abd5773a834a
treed6ccc1e625e95f1dbe68810d21928fbcf9ced0aatree | snapshot
parentbbb2b03fee9f7c7595870d997118d51c1ce469f2commit | diff
removed a maybe diverging test
helm/software/matita/tests/depends diff | blob | history
helm/software/matita/tests/ng_includeB.ma [deleted file] blob | history
helm/software/matita/tests/ng_includeB.ma.dontrun [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.