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

HCoop / hcoop / domtool2.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 2ed6d0e) | patch

author	Adam Chlipala <adamc@hcoop.net>
	Sun, 6 Aug 2006 17:14:04 +0000 (17:14 +0000)
committer	Adam Chlipala <adamc@hcoop.net>
	Sun, 6 Aug 2006 17:14:04 +0000 (17:14 +0000)
commit	12adf55a902b1d9bde677e4636530e5753857e05
tree	e8efc4594c14612bd88623f6e0960472949821f5	tree \| snapshot (tar.gz zip)
parent	2ed6d0e50d89234c3d63c3707e855c922bd49358	commit \| diff

ACLs

configDefault/domtool.cfg		diff \| blob \| blame \| history
configDefault/domtool.cfs		diff \| blob \| blame \| history
lib/domain.dtl		diff \| blob \| blame \| history
src/acl.sig	[new file with mode: 0644]	blob
src/acl.sml	[new file with mode: 0644]	blob
src/domain.sig		diff \| blob \| blame \| history
src/domain.sml		diff \| blob \| blame \| history
src/domtool.cm		diff \| blob \| blame \| history
src/env.sig		diff \| blob \| blame \| history
src/env.sml		diff \| blob \| blame \| history
src/main.sml		diff \| blob \| blame \| history

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