Branch: Tag:

2015-11-30

2015-11-30 22:43:54 by Martin Nilsson <nilsson@fastmail.com>

Removed some 8-bit characters that grep doesn't like (I should probably fix grep).

87:    *    * These are NOT to be renumbered unless the file-format version is changed!    */ - /* Current encoding: ¬∂ke0 + /* Current encoding: \266ke0    *    * +---+-+-+-------+    * |s z|s|n| t a g |