| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Server.hs | 8242 | logplain |
| -rw-r--r-- | Website.hs | 2364 | logplain |
| -rwxr-xr-x | client.py | 3009 | logplain |
| -rw-r--r-- | index.md | 1110 | logplain |
| -rw-r--r-- | quescripts.md | 1063 | logplain |
| -rw-r--r-- | service.nix | 1608 | logplain |
| -rw-r--r-- | style.css | 1854 | logplain |
