Merge pull request #1029 from nicolasdespres/fix-doc-typo
-rw-r--r-- 1026 .clang-format
-rw-r--r-- 395 .gitignore
-rw-r--r-- 189 .travis.yml
-rw-r--r-- 11358 COPYING
-rw-r--r-- 7647 HACKING.md
-rw-r--r-- 892 README
-rw-r--r-- 1268 RELEASING
-rwxr-xr-x 858 bootstrap.py
-rwxr-xr-x 21571 configure.py
drwxr-xr-x - doc
drwxr-xr-x - misc
drwxr-xr-x - src