diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-17 02:02:11 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-05-17 03:05:54 +0200 |
| commit | 782e1713809e6c54ead68a56cdc4a6f21fc6654f (patch) | |
| tree | 72e7e304f48cdf8082055d0d94646ab82fa1f6be /.dir-locals.el | |
| parent | 2fb31fd6a2d4c9a1fd3ac73ef849a075a9e35766 (diff) | |
gnu: emacs-idris-mode: Update source hash.
Only file modification times have changed.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode)[source]: Update sha256.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions