diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-16 06:37:15 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-16 06:37:15 +0300 |
| commit | 4d9ebbd830d8926940951307a54cc434d4fa1749 (patch) | |
| tree | 86e04844d5c740fcab431fb1cc4dac362736de33 /symbols/.gitignore | |
| parent | bugfix (diff) | |
| download | windows-tmp-4d9ebbd830d8926940951307a54cc434d4fa1749.tar.gz windows-tmp-4d9ebbd830d8926940951307a54cc434d4fa1749.zip | |
refactoring
* No more `echo ... || true`.
This was to make sure this statement doesn't fail in case stdout/stderr is
closed, which I don't feel like doing anymore.
* Other tweaks and improvements.
Diffstat (limited to 'symbols/.gitignore')
0 files changed, 0 insertions, 0 deletions