chiark / gitweb /
Licensing: Abolish `proprietary' part in GPL-vs-LGPL