]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7875f45) | patch
removed contribs from nigtly bench
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Sep 2006 15:37:11 +0000 (15:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 13 Sep 2006 15:37:11 +0000 (15:37 +0000)
commit653a735db215959b13d15f6774b8a07b9275e6a0
tree89b250469b159928c40645359ecc39aeaa209b6etree | snapshot
parent7875f453db28e6129cb04a603e91eeadf95f5914commit | diff
removed contribs from nigtly bench
helm/software/matita/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.