diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2016-05-10 10:25:16 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2016-05-10 10:25:16 +0200 |
| commit | 5fbb64651f6a6511fdd7b407b74c4a16c3bbae89 (patch) | |
| tree | 8fb14c06f25de62058312ee56edc26c94de2d053 /plugingui | |
| parent | 331f707aab4ca7b6851eece86cf32ed42938fe04 (diff) | |
Adapt .gitignore to new binary name of random test.
Diffstat (limited to 'plugingui')
0 files changed, 0 insertions, 0 deletions