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: d676e46) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 18 Jan 2005 18:17:33 +0000 (18:17 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Tue, 18 Jan 2005 18:17:33 +0000 (18:17 +0000)
commit	18ad62cacbbb08decd4332b0bab449e640114fd7
tree	ed613a17de1ab432e83d81430613b1c1bcd0d4d1	tree \| snapshot
parent	d676e46b02980c1b9ede019b6f880223bd2d168f	commit \| diff

added script support

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