]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27d91f6) | patch
added mention of the two mailing lists we have
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 08:46:06 +0000 (08:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Jun 2006 08:46:06 +0000 (08:46 +0000)
commite4052c06f172b3a5aa69d7cd5546115011acd54b
treee2a5393bc3f90bb4d3ed4961002c48340f676415tree | snapshot
parent27d91f60a42bbbfb193d4a330cb97d1d20de602bcommit | diff
added mention of the two mailing lists we have
helm/www/matita/community.shtml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.