From 4f9182499e14290aa1eabbb5a2d903bfeb8e25d7 Mon Sep 17 00:00:00 2001
From: Johannes Hofmann <hofmann@flpsed.org>
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 <stdio.h>
-
-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