From 4f9182499e14290aa1eabbb5a2d903bfeb8e25d7 Mon Sep 17 00:00:00 2001 From: Johannes Hofmann Date: Wed, 11 Nov 2020 20:26:38 +0100 Subject: remove tools directory --- tools/sourceclean.c | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 tools/sourceclean.c diff --git a/tools/sourceclean.c b/tools/sourceclean.c deleted file mode 100644 index 8fb02c4..0000000 --- a/tools/sourceclean.c +++ /dev/null @@ -1,12 +0,0 @@ -#include - -int main(int argc, char **argv) { - unsigned char c; - while (fread(&c, sizeof(c), 1, stdin)) { - if (c < 128) { - printf("%c", c); - } else { - printf("\\x%2X", c); - } - } -} -- cgit v1.2.3