Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 41 | logplain |
-rw-r--r-- | 20.08.json | 1522 | logplain |
-rw-r--r-- | LICENSE.txt | 11357 | logplain |
-rw-r--r-- | README.md | 3506 | logplain |
-rw-r--r-- | SECURITY.md | 4497 | logplain |
-rw-r--r-- | externals.json | 1910 | logplain |
-rwxr-xr-x | fetch_externals.py | 5935 | logplain |