HCoop / hcoop / portal.git / history
| 2014-10-04 | Clinton Ebadi | Run domtool as hcoop.daemon instead of hcoop | blob | commitdiff | raw |
| 2013-01-06 | Clinton Ebadi | Update `domtool-admin package-exists $node $pkg` for... | blob | commitdiff | raw | diff to current |
| 2007-07-01 | Adam Chlipala | Update proper Domtool username for package/security... | blob | commitdiff | raw | diff to current |
| 2007-02-25 | Adam Chlipala | Update APT requests to take multiple servers into consi... | blob | commitdiff | raw | diff to current |
| 2006-08-04 | Adam Chlipala | Widen idea of a valid Debian package name | blob | commitdiff | raw | diff to current |
| 2005-09-12 | Adam Chlipala | Changes on new server | blob | commitdiff | raw | diff to current |
| 2005-04-19 | Adam Chlipala | Apt installation requests | blob | commitdiff | raw | diff to current |