Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README.rst | 110 | logplain |
d--------- | backends_cpu_usage | 168 | logplain |
-rwxr-xr-x | build_debian_package.sh | 957 | logplain |
-rw-r--r-- | compile_design_docs.py | 4304 | logplain |
d--------- | db_access | 129 | logplain |
-rwxr-xr-x | develop_mode.sh | 118 | logplain |
d--------- | doc_put_memory_usage | 128 | logplain |
d--------- | profiling / sync | 31 | logplain |
-rw-r--r-- | update_design_docs.py | 3887 | logplain |