diff options
| author |  Stephane Glondu <steph@glondu.net> | 2014-07-27 10:37:59 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 15:23:48 +0200 |
| commit | b9fae9be4d5dc1f78de28d062d4052727dc1e3c3 (patch) | |
| tree | ec51755de45337cefed3538dcf9f3361ca9485a6 /tools/coq-syntax.el | |
| parent | ecb5c295deafda3d71424bf41b62eaa534758644 (diff) | |
Bump debhelper compat level to 9
Diffstat (limited to 'tools/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions