diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-30 18:00:57 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-30 18:00:57 -0400 |
| commit | 165ca2689bd2b2fa20ce7015b5663106fd8ced46 (patch) | |
| tree | aec9fbecd34386d3903e5c0bb604fd60f4439128 /.gitignore | |
| parent | dc8184b76bc10716a8f7b442559bc03df453e967 (diff) | |
| download | configs-165ca2689bd2b2fa20ce7015b5663106fd8ced46.tar.gz configs-165ca2689bd2b2fa20ce7015b5663106fd8ced46.tar.xz configs-165ca2689bd2b2fa20ce7015b5663106fd8ced46.zip | |
[emacs] move *compilation* auto-close to own section under Defaults
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions