scripts/get_waf.sh: add script to fetch latest waf
authorPaul Brossier <piem@piem.org>
Thu, 21 Jul 2016 21:02:08 +0000 (23:02 +0200)
committerPaul Brossier <piem@piem.org>
Thu, 21 Jul 2016 21:02:08 +0000 (23:02 +0200)
commit50179e64abae6081f0109c524eea2ec796759b54
tree9f05ca3056e953737d1197ef34fb70e916c09091
parent11663a4e47dc39a68d621c7823c645aa766d927e
scripts/get_waf.sh: add script to fetch latest waf
scripts/get_waf.sh [new file with mode: 0755]