HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92f7d12) | patch
config: warn that changing localRoot will not work currently
authorClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Apr 2018 04:49:10 +0000 (00:49 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Apr 2018 04:49:10 +0000 (00:49 -0400)
commit20f239b6471b8816762cce5cc714449154114397
tree6cf3d8c5c45cd55c5918bfb0575fe0e967323323tree | snapshot (tar.gz zip)
parent92f7d1263e4743bd2f0d44652e0ece57fba16c5acommit | diff
config: warn that changing localRoot will not work currently
config/core/core.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.