diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:20:56 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:24:34 +0100 |
| commit | 2e67329415fd863996d045b52c13ad96425c8119 (patch) | |
| tree | 68ecb2171f194a6c24f079ca3922842724a6d47c /gnu/packages/java-compression.scm | |
| parent | 82da66971faf3e54c8d03a9c2eccd3ef02cbc36f (diff) | |
gnu: Remove emacs-dedukti-mode.
* gnu/packages/ocaml.scm (emacs-dedukti-mode): Delete variable.
Diffstat (limited to 'gnu/packages/java-compression.scm')
0 files changed, 0 insertions, 0 deletions