2014-04-26 | Clinton Ebadi | merge toplevel-dynamic-environment | blob | commitdiff | raw |
2014-04-25 | Clinton Ebadi | scripts: use getent instead of hardcoding an afs homedir | blob | commitdiff | raw |
2008-02-15 | Davor Ocelic | * Safer handling of $1 in all scripts | blob | commitdiff | raw | diff to current |
2007-05-08 | Adam Chlipala | Correct tilde expansion | blob | commitdiff | raw | diff to current |
2007-05-04 | Adam Megacz | remove Group directive from Apache and group acl from... | blob | commitdiff | raw | diff to current |
2007-04-07 | Adam Chlipala | Change a few more places that relied on old home direct... | blob | commitdiff | raw | diff to current |
2006-12-16 | Adam Chlipala | User add/remove scripts | blob | commitdiff | raw | diff to current |