directory /src/echo_plugin/ @ 3155:4af16959f9d3

name size permissions
[up] drwxr-xr-x
file Makefile 306 -rw-r--r--
file echo.c 3129 -rw-r--r--
file echo.h 224 -rw-r--r--
file gui.c 5355 -rw-r--r--