diff options
| author |  Stephane Glondu <steph@glondu.net> | 2012-06-04 15:03:22 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2012-06-05 10:12:10 +0200 |
| commit | 9ba360bc40800295fd8f706a4d561805c2e4c8db (patch) | |
| tree | 4fa38450392470686c51106063b6d5ee9e88642a /debian/coq.emacsen-install | |
| parent | c467035933a683a7b7ac214fc511604735f15e7f (diff) | |
Dp plugin has been dropped
Diffstat (limited to 'debian/coq.emacsen-install')
0 files changed, 0 insertions, 0 deletions