2008-01-19 | Adam Chlipala | Mark pending requests with how long ago they were submitted | blob | commitdiff | raw |
2007-12-29 | Adam Chlipala | Allow extra blank lines in vos output | blob | commitdiff | raw | diff to current |
2007-12-23 | Adam Chlipala | Various quota request improvements, suggested by docelic | blob | commitdiff | raw | diff to current |
2007-12-16 | Adam Chlipala | Quota requests | blob | commitdiff | raw | diff to current |