chiark / gitweb /
manager: add DefaultEnvironment option