From c195ab95a1143751ba0f23068fe6fcafd93af738 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 30 Oct 2004 10:07:21 +0000
Subject: [PATCH] - Now in the wiki.

---
 src/debuglevels.txt | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 src/debuglevels.txt

diff --git a/src/debuglevels.txt b/src/debuglevels.txt
deleted file mode 100644
index 873b4e4..0000000
--- a/src/debuglevels.txt
+++ /dev/null
@@ -1,7 +0,0 @@
-Conventions for debug levels; ifdef DEBUG
-
--D1	meta		show compiled code, meta dynamic results
--D2	claims		show results of claims
--D3	events		show executed events
--D4	internalsHigh	interesting internals (traces that were cut off)
--D5	internalsLow	usually uninteresting stuff