diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-04-15 16:45:01 +0200 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-04-15 16:45:01 +0200 |
| commit | b0c9d60a370a1ae651e2850c3b07d6ffa1da69ce (patch) | |
| tree | e95b816dcac11a498fc3db324e4d3c682e38f083 /GNUmakefile | |
| parent | 1c2435ce13828d7b90c939aa48a6a89ed5b5cc5f (diff) | |
fix trigger_stage activation upon stage jumps
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions