From 7c785581061119e7467baaefb0ccd3ff584c56c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Hentschel?= Date: Tue, 18 May 2010 17:29:28 +0200 Subject: [PATCH] wmc: Remove 10 year old unmaintained file. --- tools/wmc/CHANGES | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 tools/wmc/CHANGES diff --git a/tools/wmc/CHANGES b/tools/wmc/CHANGES deleted file mode 100644 index bec49ca4521..00000000000 --- a/tools/wmc/CHANGES +++ /dev/null @@ -1,5 +0,0 @@ ---------------------------------------------------------------------------- -Version 1.0.0 (12-Jun-2000) - -Bertho Stultiens -- Initial release