diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-12 12:03:26 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-12 12:05:25 -0500 |
| commit | 3c23b5ea17c0ee54baa7731f1f1b889be86f8abb (patch) | |
| tree | ff99000e580897981d927bfe337c024cded5df98 /lib/proof-site | |
| parent | cd2776993118afcb19c34e4c86f3100a9a506147 (diff) | |
| download | configs-3c23b5ea17c0ee54baa7731f1f1b889be86f8abb.tar.gz configs-3c23b5ea17c0ee54baa7731f1f1b889be86f8abb.tar.xz configs-3c23b5ea17c0ee54baa7731f1f1b889be86f8abb.zip | |
[emacs/yasnippet] suppress startup jit loading message
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions