diff options
| author | Eric Bavier <bavier@member.fsf.org> | 2020-06-27 23:01:39 -0500 |
|---|---|---|
| committer | Eric Bavier <bavier@member.fsf.org> | 2020-06-27 23:06:53 -0500 |
| commit | 1e7acfb8ab7fa7c8e8c510a5f0dd64d9618cde02 (patch) | |
| tree | a8ff4e7d64a27b213a72b6b700872b053b0d0c77 /Makefile.am | |
| parent | ea33de6d704f30b3c827877173c513f6fce22f1e (diff) | |
gnu: emacs-idris-mode: Update to 1.0.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0.
[description]: Mention compatibility with Idris 1.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions