| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | gen_doc | 338 | logplain |
| -rw-r--r-- | gen_test.php | 1632 | logplain |
| -rwxr-xr-x | push_ghpage | 222 | logplain |
| -rwxr-xr-x | runphp | 37 | logplain |
| -rwxr-xr-x | travis_push | 2065 | logplain |
 |
index : server/parabolawiki.git | |
| The install of MediaWiki that powers our wiki (custom skin et c.) | Parabola git |
| summaryrefslogtreecommitdiff |