| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | delete.png | 2458 | logplain |
| -rw-r--r-- | index.html | 33722 | logplain |
| -rw-r--r-- | jquery.js | 94840 | logplain |
| d--------- | sample_prompts | 474 | logplain |
| -rwxr-xr-x | webconfig.py | 23350 | logplain |
 |
index : fish-shell | |
| user-friendly command line shell |
| aboutsummaryrefslogtreecommitdiffhomepage |
