]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3bc58f) | patch
removed libraries old dot
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:07:25 +0000 (17:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:07:25 +0000 (17:07 +0000)
commit42a2bac4bd882669570d1dc5d7831b6ed17a5ea7
tree39d6e307c49990d07f6329792cffd52a5fe6e6d3tree | snapshot
parentb3bc58fc6ad13b7502505d6f354322842721c714commit | diff
removed libraries old dot
helm/papers/matita/libraries.dot [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.