diff options
| author | Marvin W <git@larma.de> | 2017-03-11 11:16:01 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2017-03-11 12:01:02 +0100 |
| commit | 7bb6ff6250e7bfc1f5d8ee4cc5d49c7aaf5ac435 (patch) | |
| tree | 918dfeac16a7fd23fc705458c1b74b7a392c48bf /plugins | |
| parent | 4c48bdc07291f55d7320721a5b0a29c092f7daa0 (diff) | |
| download | dino-7bb6ff6250e7bfc1f5d8ee4cc5d49c7aaf5ac435.tar.gz dino-7bb6ff6250e7bfc1f5d8ee4cc5d49c7aaf5ac435.zip | |
Update ./configure to detect ninja package of debian/ubuntu (#4)
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions