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

author	Luca Padovani <luca.padovani@unito.it>
	Wed, 17 Jan 2001 17:53:29 +0000 (17:53 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Wed, 17 Jan 2001 17:53:29 +0000 (17:53 +0000)
commit	6b13ef87cce91a75e9924c99a55edd1f311dd2ff
tree	706a8b69dd75107baed02f5d0d1dcc1dc40f833c	tree \| snapshot
parent	d8c9fecad26e0a355908b25eb41f45823533de5c	commit \| diff

autoconfiguration improved (?)

helm/configuration/.cvsignore		diff \| blob \| history
helm/configuration/Makefile.in		diff \| blob \| history
helm/configuration/config.cache.pkg		diff \| blob \| history
helm/configuration/configure.in		diff \| blob \| history
helm/configuration/etc/configuration.xml.in		diff \| blob \| history
helm/configuration/etc/helm-dictionary.xml		diff \| blob \| history
helm/configuration/helm_configuration-0.0.1-1.spec	[deleted file]	blob \| history
helm/configuration/helm_configuration.spec.in	[new file with mode: 0644]	blob

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