/
drwxr-xr-x [up]
drwxr-xr-x devices
drwxr-xr-x include
drwxr-xr-x master
drwxr-xr-x mini
drwxr-xr-x rt
-rw-r--r-- 2006-03-02 11:19 +0000 1073 Makefile
-rw-r--r-- 2006-03-02 11:19 +0000 150 fragen.txt
-rw-r--r-- 2006-03-02 11:19 +0000 262 todo.txt