diff options
-rwxr-xr-x | mkcharacters | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mkcharacters b/mkcharacters index 0ec871e..9b2f0c1 100755 --- a/mkcharacters +++ b/mkcharacters @@ -104,7 +104,11 @@ end do local chardata = get_characters() local stripped = extract_fields(chardata) - local serialized = table.serialize(stripped) + local serialized = table.serialize(stripped, true, { + compact = true, + noquotes = true, + hexify = true, --- for consistency with char-def + }) if writedata(serialized) then goto done end |