diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-25 18:19:44 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-25 18:19:44 -0500 |
| commit | c4056581936c6e173c6dce3afb2c1fdac6adbb69 (patch) | |
| tree | 19bc65a6afbe95cf3afd4094d7e4c4e38030f3f3 /lib | |
| parent | b1c000ddf5477b97116f151a5a0c79f8969215a0 (diff) | |
| download | configs-c4056581936c6e173c6dce3afb2c1fdac6adbb69.tar.gz configs-c4056581936c6e173c6dce3afb2c1fdac6adbb69.tar.xz configs-c4056581936c6e173c6dce3afb2c1fdac6adbb69.zip | |
[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays
Diffstat (limited to '')
| m--------- | lib/proof-site | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/proof-site b/lib/proof-site -Subproject f7cc8f1f76baf5e517e51f1db47510ed605064e +Subproject 7389d43893569ff0e1eff892254901876fc8225 |