directory / @ 3:bdd83d6807d5 default tip

name size permissions
dir. win32/ drwxr-xr-x
file LICENSE.TXT 1162 -rw-r--r--
file QUICKTIMER.MAN 119 -rw-r--r--
file README.md 245 -rw-r--r--
file c.sh 186 -rwxr-xr-x
file quicktimer 4272 -rwxr-xr-x
file quicktimer.c 831 -rw-r--r--