/ default tip
drwxr-xr-x [up]
drwxr-xr-x include
drwxr-xr-x protocols
drwxr-xr-x src
-rw-r--r-- 2021-03-09 07:18 +0000 27 .hgignore
-rw-r--r-- 2021-03-09 07:18 +0000 1102 LICENSE
-rw-r--r-- 2021-03-09 07:18 +0000 1725 README.org
-rw-r--r-- 2021-03-09 07:18 +0000 299 config.mk
-rw-r--r-- 2021-03-09 07:18 +0000 1648 makefile