summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-29 00:57:15 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-29 00:57:15 -0500
commit1556b13e76c2828c1ec539bd163c84e417003c2a (patch)
tree5f3583d323b0756e6e9c5b4d5cb87ecb427738d7 /lib/proof-site
parent99eccce4337e1416c9d226d2035dcdca02ca6d1e (diff)
downloadconfigs-1556b13e76c2828c1ec539bd163c84e417003c2a.tar.gz
configs-1556b13e76c2828c1ec539bd163c84e417003c2a.tar.xz
configs-1556b13e76c2828c1ec539bd163c84e417003c2a.zip
[emacs] some custom.el updates
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions