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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:36:53 +0000 (15:36 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:36:53 +0000 (15:36 +0000)
commit	1d0673d5b819ed2600271b10ba964bbf093288f5
tree	0052ab8f443708e1d13a4db23175926b5ddffbd2	tree \| snapshot
parent	b74c8f9039d930758cd55c387daefcd4672c34d2	commit \| diff

moved (dummy) dist stuff into software/matita/

helm/dist/AUTHORS	[deleted file]	blob \| history
helm/dist/COPYING	[deleted file]	blob \| history
helm/dist/ChangeLog	[deleted file]	blob \| history
helm/dist/INSTALL	[deleted file]	blob \| history
helm/dist/README	[deleted file]	blob \| history
helm/software/matita/dist/AUTHORS	[new file with mode: 0644]	blob
helm/software/matita/dist/COPYING	[new file with mode: 0644]	blob
helm/software/matita/dist/ChangeLog	[new file with mode: 0644]	blob
helm/software/matita/dist/INSTALL	[new file with mode: 0644]	blob
helm/software/matita/dist/README	[new file with mode: 0644]	blob

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