log scripts/get_waf.sh @ 198:3a76aa26b578 tip master

age author description
Fri, 22 Jul 2016 05:20:09 +0200 Paul Brossier scripts/get_waf.sh: use 1.8.22
Thu, 21 Jul 2016 23:02:08 +0200 Paul Brossier scripts/get_waf.sh: add script to fetch latest waf