chiark / gitweb /
New library configuration stuff from `common'.