chiark / gitweb /
fix syntax of extendedProperties setting