HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5817600) | patch
Report when users' ~/.domtool directories are unreadable
authorAdam Chlipala <adamc@hcoop.net>
Tue, 1 Jan 2008 22:27:58 +0000 (22:27 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 1 Jan 2008 22:27:58 +0000 (22:27 +0000)
commitb1563bce4b7af8e23535fd9d806d42f52fcf41fa
treeaa7e75d89cf4c9bae29c90616c809d15356ff0a7tree | snapshot (tar.gz zip)
parent5817600b9fb6b1a43268462d2255908682937c13commit | diff
Report when users' ~/.domtool directories are unreadable
src/main.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.