Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | deployment.gmi | 1083 | logplain |
-rw-r--r-- | installation.gmi | 11615 | logplain |
-rw-r--r-- | machines.gmi | 2196 | logplain |
-rw-r--r-- | our-virtuoso-instances.gmi | 1612 | logplain |
-rw-r--r-- | useful-shell-scripts.gmi | 1374 | logplain |
-rw-r--r-- | uthsc-vpn-with-free-software.gmi | 3155 | logplain |
-rw-r--r-- | uthsc-vpn.scm | 1774 | logplain |