diff options
| author | jao <jao@gnu.org> | 2021-04-01 17:14:09 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-04-01 17:14:09 +0100 |
| commit | 0d59d162c58728b28dd7a5441c2e7461259403c6 (patch) | |
| tree | 586e3b3557cc253b02e611db46e89f472ebba48a /data | |
| parent | 42a32586a4f300515fc261499b07e09bba9e5ca6 (diff) | |
| download | elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.gz elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.bz2 | |
idris mode config
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions