summaryrefslogtreecommitdiffstats
path: root/.local
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-24 18:43:53 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-24 18:43:53 -0500
commit426cec7a80db7a16d4b820e27996f05a68f99977 (patch)
treef9940904b46ccf133be610d70226fb2257ccf0c4 /.local
parentc31b1ac02d0c0b4c375384dc72cc26073ecb526c (diff)
downloadconfigs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.gz
configs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.xz
configs-426cec7a80db7a16d4b820e27996f05a68f99977.zip
[emacs][wip] fix proof general
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions