removed include og non-existing header
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 17 Jul 2006 09:13:25 +0000 (09:13 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 17 Jul 2006 09:13:25 +0000 (09:13 +0000)
commitee8287263ba35574833e8078b4f3106529823f98
tree1c5395b263ba744e4f39b061a249c98417e11226
parent580a493a185c8be5f1f14bef9bc36a8d6946ed97
removed include og non-existing header
ir/be/bemain.c
ir/be/bespillloc.c