minor updates to README.dev
-rw-r--r-- 22 .gitignore
-rw-r--r-- 1062 Makefile
-rw-r--r-- 8294 README.dev
drwxr-xr-x - debian
drwxr-xr-x - src
drwxr-xr-x - test