]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 14:21:37 +0000 (14:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Dec 2005 14:21:37 +0000 (14:21 +0000)
commit47f1b3d348e08b8b70b7d6f5e24ce31f70850383
treea285c6e5b0d227689d38a5cf33f7464954a9abe6
parentd14cf11a0721e028c0aeb725523975ef520a0d31
fix
helm/matita_homepage/developers.html