diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:20:09 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-11-03 13:24:24 +0100 |
| commit | 82da66971faf3e54c8d03a9c2eccd3ef02cbc36f (patch) | |
| tree | bb73e6524c3568a5321bd58def85aea88c8a43d5 /TODO | |
| parent | 7c51514f07c962193c681709f4ece8310003c60b (diff) | |
| download | guix-82da66971faf3e54c8d03a9c2eccd3ef02cbc36f.tar.gz | |
gnu: Remove emacs-flycheck-dedukti.
* gnu/packages/ocaml.scm (emacs-flycheck-dedukti): Delete variable.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions