diff options
| author |  Stephane Glondu <steph@glondu.net> | 2017-09-26 11:07:44 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2017-09-26 11:09:14 +0200 |
| commit | 47a06f5660633f7cce3b8dedbd658e0d398b0fca (patch) | |
| tree | bfa7d00152f6de548fb703a854a4590b4a63dcaf /debian/coq.emacsen-startup | |
| parent | 090592236763255a379552fca40bb865b68c73e6 (diff) | |
Remove menu files
Diffstat (limited to 'debian/coq.emacsen-startup')
0 files changed, 0 insertions, 0 deletions