Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitattributes | 92 | logplain |
-rw-r--r-- | .gitignore | 430 | logplain |
-rw-r--r-- | AUTHORS | 1303 | logplain |
-rw-r--r-- | BUILD | 2933 | logplain |
-rw-r--r-- | CHANGELOG.md | 105021 | logplain |
-rw-r--r-- | CONTRIBUTING.md | 822 | logplain |
-rw-r--r-- | CONTRIBUTORS | 3805 | logplain |
-rw-r--r-- | ISSUE_TEMPLATE.md | 1704 | logplain |
-rw-r--r-- | LICENSE | 11358 | logplain |
-rw-r--r-- | README.md | 2147 | logplain |
-rw-r--r-- | WORKSPACE | 5166 | logplain |
-rwxr-xr-x | combine_distfiles.py | 1682 | logplain |
-rwxr-xr-x | combine_distfiles_to_tar.sh | 1408 | logplain |
-rwxr-xr-x | compile.sh | 3901 | logplain |
d--------- | examples | 335 | logplain |
d--------- | scripts | 609 | logplain |
d--------- | site | 640 | logplain |
d--------- | src | 531 | logplain |
d--------- | third_party | 2667 | logplain |
d--------- | tools | 762 | logplain |