Move genflags.sh to scripts

pull/3953/head
Luke Barnard 2017-05-18 11:36:24 +01:00
parent 7c764b7365
commit bc5ad3c761
1 changed files with 0 additions and 0 deletions