wmc: Remove 10 year old unmaintained file.

2010-05-18 17:29:28 +02:00 · 2010-05-18 17:29:28 +02:00 · 7c78558106
parent fe92119f53
commit 7c78558106
1 changed files with 0 additions and 5 deletions
--- a/tools/wmc/CHANGES
+++ b/tools/wmc/CHANGES
@ -1,5 +0,0 @@
---------------------------------------------------------------------------
-Version 1.0.0 (12-Jun-2000)
-
-Bertho Stultiens <bertho@akhphd.au.dk>
- Initial release