Stefano Pigozzi d906d09162 build: update waf to version 1.8.1 ...

Fixes #1164

2014-10-11 20:54:42 +02:00

..

__init__.py

switch the build system to waf

2013-11-21 21:22:36 +01:00

headers.py

build: update waf to version 1.8.1

2014-10-11 20:54:42 +02:00

sources.py

build: fix generation of zsh completion

2014-06-13 12:27:01 +02:00