diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-22 00:45:03 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-22 00:46:26 -0500 |
| commit | 74a56f48afc4f55b7989cb6f1b3e84b0ce8e0878 (patch) | |
| tree | acc669fa3af6ec6b3a794fbf371bb68992a0c6d9 /.gitignore | |
| parent | f1149591ecba2cb36ba9ea47a85fd1d12b5701db (diff) | |
| download | configs-74a56f48afc4f55b7989cb6f1b3e84b0ce8e0878.tar.gz configs-74a56f48afc4f55b7989cb6f1b3e84b0ce8e0878.tar.xz configs-74a56f48afc4f55b7989cb6f1b3e84b0ce8e0878.zip | |
[emacs] don’t display *compilation* on successful builds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions