Commit 0dd096ebec14a09ccacfa82aeee02cfcd8e72b3a

Karel Miko 2018-12-02T18:39:21

drop mess.sh (obsolete, from cvs-times)