directory /src/echo_plugin/ @ 2198:32f9f1e4a9ec

name size permissions
[up] drwxr-xr-x
file Makefile 347 -rw-r--r--
file echo.c 2819 -rw-r--r--
file echo.h 224 -rw-r--r--
file gui.c 5411 -rw-r--r--