Branch: Tag:

2017-04-12

2017-04-12 15:32:51 by Martin Nilsson <nilsson@fastmail.com>

Generate date stamp again.

1:   #!/bin/sh      cat <<END - /* File generated on by getwhitespace <UnicodeData.txt */ + /* File generated on `date -I` by getwhitespace <UnicodeData.txt */      #define SPACECASE8 \\    case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\