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: 55b82bd) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:35:54 +0000 (15:35 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 3 Feb 2006 15:35:54 +0000 (15:35 +0000)
commit	b74c8f9039d930758cd55c387daefcd4672c34d2
tree	22873f5db75ab856a5c82130f60faa2e6283983e	tree \| snapshot
parent	55b82bd235d82ff7f0a40d980effe1efde1f5073	commit \| diff

moved toplevel makefile to sfotware/

helm/Makefile	[deleted file]	blob \| history
helm/Makefile.defs.in	[deleted file]	blob \| history
helm/configure.ac	[deleted file]	blob \| history
helm/software/Makefile	[new file with mode: 0644]	blob
helm/software/Makefile.defs.in	[new file with mode: 0644]	blob
helm/software/configure.ac	[new file with mode: 0644]	blob

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