matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 47a9eb4) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 27 Oct 2010 15:16:20 +0000 (15:16 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Wed, 27 Oct 2010 15:16:20 +0000 (15:16 +0000)
commit	3f9cb46b5e167955e85b3d2544f1bed90f1a25b7
tree	11b9f4bf57b646480ede98c1c67e46a1f0d88a09	tree \| snapshot
parent	47a9eb47d4215450230840bc66570ce412d0ce79	commit \| diff

Dead code for .moo files removed.

Unnamed repository; edit this file 'description' to name the repository.