summaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-04-01 17:14:09 +0100
committerjao <jao@gnu.org>2021-04-01 17:14:09 +0100
commit0d59d162c58728b28dd7a5441c2e7461259403c6 (patch)
tree586e3b3557cc253b02e611db46e89f472ebba48a /lib
parent42a32586a4f300515fc261499b07e09bba9e5ca6 (diff)
downloadelibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.gz
elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.bz2
idris mode config
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions