summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beinsn_t.h
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/be/beinsn_t.h
parenta81596fb8ed52b603f67cd469ef1e75bae4ce722 (diff)
remove $Id$, it doesn't work with git anyway
Diffstat (limited to 'ir/be/beinsn_t.h')
-rw-r--r--ir/be/beinsn_t.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/ir/be/beinsn_t.h b/ir/be/beinsn_t.h
index c58fa21..24e6138 100644
--- a/ir/be/beinsn_t.h
+++ b/ir/be/beinsn_t.h
@@ -21,7 +21,6 @@
* @file
* @brief A data structure to treat nodes and node-proj collections uniformly.
* @author Sebastian Hack
- * @version $Id$
*/
#ifndef FIRM_BE_BEINSN_T_H
#define FIRM_BE_BEINSN_T_H