| name | type | size | perms | modified | actions |
|---|---|---|---|---|---|
| [parent directory] | |||||
| manual.html | file | 126,958 B | 0644 | 2019-07-13 17:50:07 | edit |
| manual.pdf | file | 183,803 B | 0644 | 2019-07-13 17:50:27 | edit |
| name | type | size | perms | modified | actions |
|---|---|---|---|---|---|
| [parent directory] | |||||
| manual.html | file | 126,958 B | 0644 | 2019-07-13 17:50:07 | edit |
| manual.pdf | file | 183,803 B | 0644 | 2019-07-13 17:50:27 | edit |