History | View | Annotate | Download (308 Bytes)
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.