gremlin/gremlin.in: Fix bizarre editing debris.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 19 Apr 2018 10:51:06 +0000 (11:51 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 20 Apr 2018 12:18:27 +0000 (13:18 +0100)
commite9bf7f71307405c89e34d7e337f11ff370848cbc
tree88b43b58f8f164148c7e1c6df7eddee9d86c8cd9
parent3bf73acf248b6c874719bdbaf26e0ccea2a8665f
gremlin/gremlin.in: Fix bizarre editing debris.
gremlin/gremlin.in