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 /po/doc | |
parent | 59a075047d7aab07dc0fd3b41584caad2a669a1f (diff) | |
download | guix-patches-db1eb632be0b9ccbae53a6c4cc684ecd86d34d7f.tar guix-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 'po/doc')
0 files changed, 0 insertions, 0 deletions