README | 12 ++++++++++++ 1 file changed, 12 insertions(+) New commits: commit c6ecc2c8470093ba17ff1cf993df46f9e670173d Author: Dr. Tilmann Bubeck <t.bubeck at reinform.de> Date: Tue Oct 8 21:41:37 2013 +0200 Improved README to explain "make check".