summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <amin@gnu.org>2018-08-17 13:19:25 -0400
committerAmin Bandali <amin@gnu.org>2018-08-17 13:19:25 -0400
commit835adbdb431cbd9dd5f081fca459cbe25f3c4dc2 (patch)
tree3366af601afb891daa70265ac2404d34e0aab9b5 /lib/proof-site
parent69c01f5359f3aa0d817d05c01b17af1908aa5787 (diff)
downloadconfigs-835adbdb431cbd9dd5f081fca459cbe25f3c4dc2.tar.gz
configs-835adbdb431cbd9dd5f081fca459cbe25f3c4dc2.tar.xz
configs-835adbdb431cbd9dd5f081fca459cbe25f3c4dc2.zip
[emacs,rc] update my gnu address
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions