chiark / gitweb /
src/output-proto.lisp: Fix some bad indentation.