diff options
| author | Dirk Engling <erdgeist@erdgeist.org> | 2015-06-03 08:13:29 +0200 |
|---|---|---|
| committer | Dirk Engling <erdgeist@erdgeist.org> | 2015-06-03 08:13:29 +0200 |
| commit | 337084cd6c31450761c784a7fa723875ce2e358f (patch) | |
| tree | a591970e5d06906cf0f30ef4e8b102eb9e93429b /work | |
| parent | b8bb694ab72177dd56ee1bed62933f62167a421c (diff) | |
make our invocation of sed GNU and BSD proof
Diffstat (limited to 'work')
0 files changed, 0 insertions, 0 deletions