Merge branch 'dont-clean-phony' of git://github.com/pcc/ninja
[platform/upstream/ninja.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 51098 doxygen.config
-rw-r--r-- 22288 manual.asciidoc