diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com> | 2023-09-08 12:34:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-23 12:56:43 +0100 |
| commit | ff8e8d2f1ec467e7d348a4cb1fce631fc5efe45d (patch) | |
| tree | 7e447303b2321f5f96044ecfdddb662b494a6866 /gnu/packages/coq.scm | |
| parent | c7742721d16ac175951e4677086200dbfe9fb128 (diff) | |
gnu: Add vim-vader.
* gnu/packages/vim.scm (vim-vader): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions