diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-17 13:19:25 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-17 13:19:25 -0400 |
| commit | 835adbdb431cbd9dd5f081fca459cbe25f3c4dc2 (patch) | |
| tree | 3366af601afb891daa70265ac2404d34e0aab9b5 /lib/proof-site | |
| parent | 69c01f5359f3aa0d817d05c01b17af1908aa5787 (diff) | |
| download | configs-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