diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2016-05-17 17:59:38 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2016-05-17 17:59:38 +0200 |
| commit | d6f027ef3474bbc93d06865b0031bb6aae4fc031 (patch) | |
| tree | 4fabe7e5d9ffb3fb8683e1309ebf52096083ba22 /doc/old/banner.tex | |
| parent | 379f99594086a0934155bd09696938dc39d1802d (diff) | |
Make: Silence echo in verbose mode
Diffstat (limited to 'doc/old/banner.tex')
0 files changed, 0 insertions, 0 deletions