From 87f17d196c032abfeaf63c739c63ded7988fb70f Mon Sep 17 00:00:00 2001
From: Matthias Braun <matthias.braun@kit.edu>
Date: Wed, 13 Jun 2012 11:01:28 +0200
Subject: [PATCH] remove unnecessary revision thing

---
 ir/debug/debugger.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/debug/debugger.c b/ir/debug/debugger.c
index ae9afa31a..6d1db2845 100644
--- a/ir/debug/debugger.c
+++ b/ir/debug/debugger.c
@@ -572,7 +572,7 @@ static void bp_activate(unsigned bp, int active)
  */
 static void show_commands(void)
 {
-	dbg_printf("Internal Firm debugger extension $Revision$ commands:\n"
+	dbg_printf("Internal Firm debugger extension commands:\n"
 		"init                  break after initialization\n"
 		"create nr             break if node nr was created\n"
 		"replace nr            break if node nr is replaced by another node\n"
-- 
2.20.1