summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2019-01-12 22:25:10 -0500
committerAmin Bandali <bandali@gnu.org>2019-01-12 22:25:10 -0500
commitd5e8f47bb491cc5a06b14121c5bc43922deac078 (patch)
tree70427f8ecad6c800f65a151322e6a6a3c958858a /lib
parent2c0e34c3c6e8cee67ca82e361aa224675794ee13 (diff)
downloadconfigs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.gz
configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.xz
configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.zip
[emacs] update proof general
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions