History | View | Annotate | Download (1.8 KB)
Fix Debian packages so that you can install both a server and a development environment without conflicts.
Fix some minor typos that had major implications.
Updated Debian packages builds.