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 /main/src/ui | |
parent | 4c48bdc07291f55d7320721a5b0a29c092f7daa0 (diff) | |
download | dino-7bb6ff6250e7bfc1f5d8ee4cc5d49c7aaf5ac435.tar.gz dino-7bb6ff6250e7bfc1f5d8ee4cc5d49c7aaf5ac435.zip |
Update ./configure to detect ninja package of debian/ubuntu (#4)
Diffstat (limited to 'main/src/ui')
0 files changed, 0 insertions, 0 deletions