---- Patch WAF to make output redirection work again (Utils.get_term_cols() bug) user: Gustavo J. A. M. Carneiro <gjc at inescporto.pt> files: waf url: http://code.nsnam.org/ns-3-dev/rev/3401e899479c ---- merge user: Gustavo J. A. M. Carneiro <gjc at inescporto.pt> files: url: http://code.nsnam.org/ns-3-dev/rev/75f74d6b6219