/
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-06 16:18 +0000 1073 Makefile
-rwxr-xr-x 2006-03-06 16:18 +0000 1106 ec_reload.sh
-rw-r--r-- 2006-03-06 16:18 +0000 150 fragen.txt
-rw-r--r-- 2006-03-06 16:18 +0000 262 todo.txt