diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2015-04-27 13:27:41 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2015-04-27 13:27:41 +0200 |
| commit | 1755444996f7f3f4ac15aa9e99cfc3a00c42a025 (patch) | |
| tree | 0e887e428ae70327e81f635927293a3deec506fd /work/.gitignore | |
| parent | 984e06dc262ac2a78ad18b8e307b1577cb2a7630 (diff) | |
sed when normalizing flags might take some seconds. Report, what we're waiting for.
Diffstat (limited to 'work/.gitignore')
0 files changed, 0 insertions, 0 deletions