diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-22 12:58:48 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-22 12:58:48 -0500 |
| commit | f79ed7c654cadb5f3b48a6aa7fecb4e7adcd95f8 (patch) | |
| tree | dcba254412e47d9de061d00763a12e62c2683886 /lib/gnorb | |
| parent | 4e0afb99adeb6c013635ad7cf01d42416fb101b1 (diff) | |
| download | configs-f79ed7c654cadb5f3b48a6aa7fecb4e7adcd95f8.tar.gz configs-f79ed7c654cadb5f3b48a6aa7fecb4e7adcd95f8.tar.xz configs-f79ed7c654cadb5f3b48a6aa7fecb4e7adcd95f8.zip | |
[emacs] don’t display *compilation* on build success (uses cl-letf)
Diffstat (limited to 'lib/gnorb')
0 files changed, 0 insertions, 0 deletions