HCoop Git - hcoop/domtool2.git/commit

HCoop / hcoop / domtool2.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 314ce7b) | patch

author	Adam Chlipala <adamc@hcoop.net>
	Sat, 17 Nov 2007 15:43:25 +0000 (15:43 +0000)
committer	Adam Chlipala <adamc@hcoop.net>
	Sat, 17 Nov 2007 15:43:25 +0000 (15:43 +0000)
commit	41c58dafe735d17b7d3241bf248ca8806a355926
tree	805cb180c6f592e4fcfffeb01db6798d91bc4836	tree \| snapshot (tar.gz zip)
parent	314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b	commit \| diff

Move domain decription to client side; add some more describers

src/domain.sig		diff \| blob \| blame \| history
src/domain.sml		diff \| blob \| blame \| history
src/main-admin.sml		diff \| blob \| blame \| history
src/main.sig		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history
src/msg.sml		diff \| blob \| blame \| history
src/msgTypes.sml		diff \| blob \| blame \| history
src/plugins/apache.sml		diff \| blob \| blame \| history
src/plugins/bind.sml		diff \| blob \| blame \| history
src/plugins/exim.sml		diff \| blob \| blame \| history
src/sources		diff \| blob \| blame \| history

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