diff options
| author | /dev/humancontroller <devhc@example.com> | 2014-07-13 16:54:51 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-03-09 13:51:11 +0100 |
| commit | a2b4c1c22e6d86a517f6c82af0a524816bc3871a (patch) | |
| tree | 1ad771cd672262f3ff6f1268a338434641fa0206 /GNUmakefile | |
| parent | 75653970ac34562ecbbb0fdd82f4365c60203684 (diff) | |
alter trigger wait timers a bit, remove duplicate code
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions