drwxr-xr-x | [up] | |||
-rw-r--r-- | 2018-07-09 13:36 +0200 | 116 | Makefile | file | revisions | annotate |
-rw-r--r-- | 2018-07-09 13:36 +0200 | 5 | pid.txt | file | revisions | annotate |
-rwxr-xr-x | 2018-07-09 13:36 +0200 | 3128 | st.cmd | file | revisions | annotate |