diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-03-08 16:53:22 +0100 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2023-06-04 10:59:31 +0200 |
| commit | fe6c31e3338f73f94fcbe6fc6ff8b7543762060e (patch) | |
| tree | 17a951b8693e4d3aa2d41dfb2e364857065f5ad3 /gnu/local.mk | |
| parent | 789db27c51501e77ac7be0411e1f979234cf02f5 (diff) | |
| download | guix-fe6c31e3338f73f94fcbe6fc6ff8b7543762060e.tar.gz | |
gnu: emacs-agda2-mode: No longer inherit from agda.
* gnu/packages/agda.scm (emacs-agda2-mode): Remove it. Made no sense, as we only need the source, which we can refer to without inheriting the whole thing.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions