scripts/get_waf.sh: add script to fetch waf
authorPaul Brossier <piem@piem.org>
Tue, 14 Mar 2017 02:54:06 +0000 (03:54 +0100)
committerPaul Brossier <piem@piem.org>
Tue, 14 Mar 2017 02:54:06 +0000 (03:54 +0100)
commitb7267da7af05d0dbe702e6458bee72eb12fc7965
tree1e03d3f16fb785f6daacb5c79497b19d555805c4
parent53eb5ace70f05b523859a625a15fa97a115a05e5
scripts/get_waf.sh: add script to fetch waf
scripts/get_waf.sh [new file with mode: 0755]