diff options
| author | Clément Pit--Claudel | 2017-02-25 14:10:53 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel | 2017-03-08 15:06:17 -0500 |
| commit | f607be020b5d5ebbca5a5b8a2cea2e234cace966 (patch) | |
| tree | ee20f1aaf8c24c0a837be60df0609fb43fd26567 /coq | |
| parent | cb3f86402688e2f920d0cdc326874505d5e3aa6f (diff) | |
elpa: Add a package file and a package.el-friendly init script
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions