chiark / gitweb /
gremlin/gremlin.in: Update progress every 100ms rather than 200ms.