summaryrefslogtreecommitdiffhomepage
path: root/ir/ident
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2011-11-10 14:16:58 +0100
committerMatthias Braun <matze@braunis.de>2011-11-10 14:17:47 +0100
commitf8cc15664f571aa7ef89d6f6bc8d5bd2b8ca7d53 (patch)
tree091ddb275d2da7f55f0503002bca5862925bfe84 /ir/ident
parenta81596fb8ed52b603f67cd469ef1e75bae4ce722 (diff)
remove $Id$, it doesn't work with git anyway
Diffstat (limited to 'ir/ident')
-rw-r--r--ir/ident/ident.c1
-rw-r--r--ir/ident/ident_t.h1
-rw-r--r--ir/ident/mangle.c1
3 files changed, 0 insertions, 3 deletions
diff --git a/ir/ident/ident.c b/ir/ident/ident.c
index c490f96..fd5c5d1 100644
--- a/ir/ident/ident.c
+++ b/ir/ident/ident.c
@@ -21,7 +21,6 @@
* @file
* @brief Hash table to store names.
* @author Goetz Lindenmaier
- * @version $Id$
*/
#include "config.h"
diff --git a/ir/ident/ident_t.h b/ir/ident/ident_t.h
index b81aff6..a70cae9 100644
--- a/ir/ident/ident_t.h
+++ b/ir/ident/ident_t.h
@@ -21,7 +21,6 @@
* @file
* @brief Hash table to store names -- private header.
* @author Goetz Lindenmaier
- * @version $Id$
*/
#ifndef FIRM_IDENT_IDENT_T_H
#define FIRM_IDENT_IDENT_T_H
diff --git a/ir/ident/mangle.c b/ir/ident/mangle.c
index c514f05..2d68d85 100644
--- a/ir/ident/mangle.c
+++ b/ir/ident/mangle.c
@@ -21,7 +21,6 @@
* @file
* @brief Methods to manipulate names.
* @author Martin Trapp, Christian Schaefer, Goetz Lindenmaier, Michael Beck
- * @version $Id$
*/
#include "config.h"