diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-17 14:32:27 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-17 14:32:27 +0200 |
| commit | c6d7631949d194a44879ec87bedc81ce0293049c (patch) | |
| tree | 141dc56bc42142c40f6f3bf06d42aade2734b798 /bin/common-functions | |
| parent | 72a0182a63d504c21083cffbc4e53af8d48da506 (diff) | |
| download | builder-c6d7631949d194a44879ec87bedc81ce0293049c.tar.xz | |
bin/get-assignment: use trap
Diffstat (limited to 'bin/common-functions')
0 files changed, 0 insertions, 0 deletions