# # ChangeLog for scripts/get_waf.sh # # Generated by Trac 1.2 # Dec 25, 2024, 10:10:13 AM Sat, 30 Sep 2017 18:19:48 GMT Paul Brossier [5b679ba] * scripts/get_waf.sh (modified) scripts/get_waf.sh: waf 2.0.1 Mon, 19 Jun 2017 09:55:00 GMT Paul Brossier [3c230fa] * scripts/get_waf.sh (modified) scripts/get_waf.sh: bump waf to 1.9.12 (see #114) Wed, 10 May 2017 08:39:38 GMT Paul Brossier [9452505] * scripts/get_waf.sh (modified) scripts/get_waf.sh: bump to waf 1.9.11 Thu, 16 Mar 2017 23:26:30 GMT Paul Brossier [80e9efc] * Makefile (modified) * scripts/get_waf.sh (modified) scripts/get_waf.sh: really bump to 1.9.6, remove unused variable in ... Fri, 22 Jul 2016 03:27:59 GMT Paul Brossier [7858305] * scripts/get_waf.sh (added) scripts/get_waf.sh: added simple script to fetch latest waf