2018-08-31 | Chris Koeritz | made docs build silent, added clean_docs target | blob | commitdiff | raw |
2018-08-31 | Chris Koeritz | updated apt-get usages to just use apt | blob | commitdiff | raw | diff to current |
2016-12-12 | Chris Koeritz | tasty renamings | blob | commitdiff | raw | diff to current |