summaryrefslogtreecommitdiffstats
path: root/lib/exec-path-from-shell
diff options
context:
space:
mode:
authorAmin Bandali <amin@aminb.org>2018-07-06 12:11:16 -0400
committerAmin Bandali <amin@aminb.org>2018-07-06 12:11:16 -0400
commit695170a4c7ba5c076b3f1c58b66836f20d242fa0 (patch)
tree1c2b88e15fae65e2e5d269cb132458d928b37515 /lib/exec-path-from-shell
parentfad62af517873a5a40dc4487a505b88383b794f1 (diff)
downloadconfigs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.tar.gz
configs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.tar.xz
configs-695170a4c7ba5c076b3f1c58b66836f20d242fa0.zip
[emacs] assimilate Proof General (for Coq)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions