HCoop Git - hcoop/domtool2.git/commit - configDefault/domtool.cfg

author	Adam Chlipala <adamc@hcoop.net>
	Sun, 30 Jul 2006 15:28:27 +0000 (15:28 +0000)
committer	Adam Chlipala <adamc@hcoop.net>
	Sun, 30 Jul 2006 15:28:27 +0000 (15:28 +0000)
commit	0d2ce07081a4aab6cb062ddb75ed040f542fc137
tree	fc79dde673670a82cd3b2e2a6219658990dca369	tree \| snapshot (tar.gz zip)
parent	a3698041b3521c3cb17b3546ecdc08ba101c788a	commit \| diff

Compile-time configuration infrastructure

.cvsignore	[new file with mode: 0644]	blob
Makefile	[new file with mode: 0644]	blob
configDefault/.cvsignore	[new file with mode: 0644]	blob
configDefault/domtool.cfg	[new file with mode: 0644]	blob
configDefault/domtool.cfs	[new file with mode: 0644]	blob
src/config.sig.footer	[new file with mode: 0644]	blob
src/config.sig.header	[new file with mode: 0644]	blob
src/config.sml	[new file with mode: 0644]	blob
src/configDefault.sml.footer	[new file with mode: 0644]	blob
src/configDefault.sml.header	[new file with mode: 0644]	blob
src/domtool.cm		diff \| blob \| blame \| history

Unnamed repository; edit this file to name it for gitweb.