core: Resurrect dump-tiny.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Jun 2018 20:55:23 +0000 (22:55 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Jun 2018 20:55:23 +0000 (22:55 +0200)
commita1334148ca37da8980b5ddb79524b7660e1f0a2c
tree9972829e8d87e44b8b840166e3d3381b066c07c5
parent8793e0dde31a98cdd75ffcb8a7c9ac3143bec817
core: Resurrect dump-tiny.

* src/reader.c (dump): Resurrect dump-tiny.
src/mes.c
src/reader.c