chiark / gitweb /
install: introduce new DefaultInstance= field for [Install] sections