| Sat, 19 May 2018 18:26:36 +0530 | Faheem Mitha | debian: add line to clean-docs target to delete additional docs file | file | diff | annotate |
| Thu, 09 Mar 2017 12:47:31 -0800 | Martin von Zweigbergk | debian: don't delete evolve and topic extensions | file | diff | annotate |
| Mon, 14 Dec 2015 16:29:55 -0800 | Martin von Zweigbergk | debian: don't refer to deleted tests/run-tests.py in debian/rules | file | diff | annotate |