HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaf70d4) | patch
Allow some of a user's config to survive regen, even when some doesn't type-check
authorAdam Chlipala <adamc@hcoop.net>
Sat, 17 Nov 2007 20:11:58 +0000 (20:11 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 17 Nov 2007 20:11:58 +0000 (20:11 +0000)
commit76405e1e2e13a95cdb4accd6af014ee21eed2c57
treebd88940051074487b83e6e1b4d57a331b621f9eftree | snapshot (tar.gz zip)
parentaaf70d454f58acba03a931ff915f83d435a85ef3commit | diff
Allow some of a user's config to survive regen, even when some doesn't type-check
src/main.sml diff | blob | blame | history
src/order.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.