chiark / gitweb /
Added new function VERSION