diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-23 10:33:34 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-23 10:33:34 -0500 |
| commit | f1516d514c999d36839ff7f6e70f63a7d4c43390 (patch) | |
| tree | aec8c22f3cd6e63bf8c7ab289f31f5f96734cd3e /lib/with-editor | |
| parent | 96b3e55dd80dd797361457af9c623072a9374715 (diff) | |
| download | configs-f1516d514c999d36839ff7f6e70f63a7d4c43390.tar.gz configs-f1516d514c999d36839ff7f6e70f63a7d4c43390.tar.xz configs-f1516d514c999d36839ff7f6e70f63a7d4c43390.zip | |
[emacs] properly silence the compilation-start advice warning
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions