diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 14:00:32 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-07 14:41:00 +0100 |
| commit | db1eb632be0b9ccbae53a6c4cc684ecd86d34d7f (patch) | |
| tree | b47a2f17cf9683c1bb0c72f8d790d7ff108a1025 /scripts | |
| parent | 59a075047d7aab07dc0fd3b41584caad2a669a1f (diff) | |
| download | patches-db1eb632be0b9ccbae53a6c4cc684ecd86d34d7f.tar patches-db1eb632be0b9ccbae53a6c4cc684ecd86d34d7f.tar.gz | |
gnu: Move Emacs modes for Dedukti to ocaml.scm.
This removes OCaml-related modules from the closure of (gnu packages
emacs).
* gnu/packages/emacs.scm (emacs-dedukti-mode, emacs-flycheck-dedukti):
Move to ...
* gnu/packages/ocaml.scm: ... here.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions