chiark / gitweb /
gremlin/gremlin.in: Remove old debugging code.