diff options
| author | John Soo <jsoo1@asu.edu> | 2020-03-30 14:36:38 +0200 |
|---|---|---|
| committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2020-03-30 14:37:41 +0200 |
| commit | f931d46ce3e342f53dee926d3cff70b081f58e5f (patch) | |
| tree | 03359edd419563f7ef8fa0e2a6f2285831265ecd /gnu/system | |
| parent | 1d3c1f4b4965e93be6301dacf9abe16b4e4ef944 (diff) | |
gnu: Add emacs-company-coq.
* gnu/packages/emacs-xyz.scm (emacs-company-coq): New variable.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions