chiark / gitweb /
POT updated in order to fit with last changes.