diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-23 10:57:17 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-23 10:57:17 +0100 |
commit | 701346aa30ba72f312fb1813fb27c90ce5611cdf (patch) | |
tree | b762c39d7ae9d3034d7ad7bb138d289b534b56fb /.gitignore | |
parent | bf3f65b162c0c6e0ccdd653d1098ddc1925caab6 (diff) |
Add three howtos to the manual serving as GUI test cases
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions