chiark / gitweb /
+ * Documentation improved somewhat, including new GPL-vs-LGPL file.