Merge pull request #407 from maximuska/proposed/dirty-on-missing-depfile
-rw-r--r-- 197 .gitignore
-rw-r--r-- 11358 COPYING
-rw-r--r-- 5627 HACKING.md
-rw-r--r-- 628 README
-rwxr-xr-x 4571 bootstrap.py
-rwxr-xr-x 15447 configure.py
drwxr-xr-x - doc
drwxr-xr-x - misc
drwxr-xr-x - src