HCoop / clinton / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b7ee2b) | patch
Special error message for withholding arguments to configuration functions
authorAdam Chlipala <adamc@hcoop.net>
Sat, 26 May 2007 17:24:58 +0000 (17:24 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 26 May 2007 17:24:58 +0000 (17:24 +0000)
commit07d66c3691fac5239dfa1f5a8858623ef542c71f
treeb64e3cf3da53e28936cdd3eabbb901999e34ef29tree | snapshot (tar.gz zip)
parent9b7ee2b22abce813120a633f5a4f5523a630a2eacommit | diff
Special error message for withholding arguments to configuration functions
src/describe.sml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.