Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitattributes | 92 | logplain |
-rw-r--r-- | .gitignore | 420 | logplain |
-rw-r--r-- | AUTHORS | 1303 | logplain |
-rw-r--r-- | BUILD | 2657 | logplain |
-rw-r--r-- | CHANGELOG.md | 89088 | logplain |
-rw-r--r-- | CONTRIBUTING.md | 822 | logplain |
-rw-r--r-- | CONTRIBUTORS | 3805 | logplain |
-rw-r--r-- | ISSUE_TEMPLATE.md | 1113 | logplain |
-rw-r--r-- | LICENSE | 11358 | logplain |
-rw-r--r-- | README.md | 2074 | logplain |
-rw-r--r-- | WORKSPACE | 5173 | logplain |
-rwxr-xr-x | combine_distfiles.py | 1682 | logplain |
-rwxr-xr-x | combine_distfiles_to_tar.sh | 1408 | logplain |
-rwxr-xr-x | compile.sh | 3495 | logplain |
d--------- | examples | 335 | logplain |
d--------- | scripts | 609 | logplain |
d--------- | site | 640 | logplain |
d--------- | src | 494 | logplain |
d--------- | third_party | 2491 | logplain |
d--------- | tools | 727 | logplain |