]> matita.cs.unibo.it Git - helm.git/commit
Removed re.ma and re1.ma
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2012 09:04:02 +0000 (09:04 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Wed, 7 Mar 2012 09:04:02 +0000 (09:04 +0000)
commit40e98e3e7cd9ae57ee0ef3f58818b6f28f2e456f
tree2c0a18a920a6944f2e163e6c1ee21dba6da2419c
parent24ef33f1fde3be06cfce603e8437cde48dbf214d
Removed re.ma and re1.ma
weblib/tutorial/re.ma [deleted file]
weblib/tutorial/re1.ma [deleted file]