HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 666ed67) | patch
Temporary DNS-out-of-sync fix that reloads BIND too often
authorAdam Chlipala <adamc@hcoop.net>
Thu, 20 Dec 2007 13:37:33 +0000 (13:37 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 20 Dec 2007 13:37:33 +0000 (13:37 +0000)
commit036cfc597f9ba8524aa30d7b53ca0608c563483f
tree38e1539091429e7012a80d74d8bf609bb4faae70tree | snapshot (tar.gz zip)
parent666ed6742b4d1431e46e396209e4b3ddcc0321c4commit | diff
Temporary DNS-out-of-sync fix that reloads BIND too often
src/domain.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.