Merge branch 'maint/7.0'master
[ninja.git] / docs / 
tree2988c88067e381bc5ade1104ad584dff2c0f2ad3
drwxr-xr-x   ..
-rw-r--r-- 98 COPYRIGHT
-rw-r--r-- 17987 LICENSE
-rw-r--r-- 3487 README