diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:21:54 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:21:54 -0500 |
| commit | dfe440bcc2729d9da9c11eea890655c7e4e3e877 (patch) | |
| tree | 6fa9cc27e95b82b453874fb8fbef8e3c41380a4c /lib/proof-site | |
| parent | 808ee2291025cfa067687f3c095c368566edc3bb (diff) | |
| download | configs-dfe440bcc2729d9da9c11eea890655c7e4e3e877.tar.gz configs-dfe440bcc2729d9da9c11eea890655c7e4e3e877.tar.xz configs-dfe440bcc2729d9da9c11eea890655c7e4e3e877.zip | |
[emacs] actually, enable the server (used by emacsclient from term)
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions