directory / @ 4:8448e78efe82 default tip

name size permissions
dir. win32/ drwxr-xr-x
file DIS.MAN 143 -rw-r--r--
file LICENSE 1162 -rw-r--r--
file README.md 73 -rw-r--r--
file basedfilelib.h 2968 -rw-r--r--
file c.sh 123 -rwxr-xr-x
file dis 7104 -rwxr-xr-x
file dis.c 574 -rw-r--r--
file help 5242 -rw-r--r--