diff options
author | Peter Grassberger <petertheone@gmail.com> | 2015-08-20 08:32:43 (GMT) |
---|---|---|
committer | Peter Grassberger <petertheone@gmail.com> | 2015-08-20 08:32:43 (GMT) |
commit | b567e7a0e632f34d4a9310fc9f1dcb52035222ed (patch) | |
tree | 6c38b8cf63b406fa20be445d7ef11a4f876514ac /contrib/Pflichtenheft-Peter.md | |
parent | b6cdb2119b046a4f6b50600aa706083d4bc0d7e2 (diff) |
jingles: display deactivated cuts, sort cuts
Diffstat (limited to 'contrib/Pflichtenheft-Peter.md')
0 files changed, 0 insertions, 0 deletions