diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-30 17:08:19 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-30 17:08:19 -0400 |
| commit | b07c1cc4dfe36f215eac01e5c69e32cdc7607015 (patch) | |
| tree | 1296bec76295e718b5ab81ae43cf58a7200261fd /lib/helpful | |
| parent | eb689aa4385a8a98336b9a8259a55ca4e294d68e (diff) | |
| download | configs-b07c1cc4dfe36f215eac01e5c69e32cdc7607015.tar.gz configs-b07c1cc4dfe36f215eac01e5c69e32cdc7607015.tar.xz configs-b07c1cc4dfe36f215eac01e5c69e32cdc7607015.zip | |
[emacs] call compile after async tangle, auto-close *compilation*
close *compilation* buffer on successful compile
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions