build: Remove mini-mes.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Feb 2019 06:21:54 +0000 (07:21 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Feb 2019 06:21:54 +0000 (07:21 +0100)
commit6eaba711617f96982df0efd8644b2c9542b2430f
treecc93dc935380cd4b72df1dddaafc8cf24c107d39
parent5232cfe66905356acda22d9d6b2c9f563b5e56a5
build: Remove mini-mes.

* scaffold/mini-mes.c: Remove.
* build-aux/build-mes.sh: Remove commented build instructions.
* .gitignore: Remove pattern.
.gitignore
build-aux/build-mes.sh
scaffold/mini-mes.c [deleted file]