chiark / gitweb /
Adding quickprint 'other options' to resources