changed file name and name prefixes
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Mon, 22 Apr 2002 14:53:55 +0000 (14:53 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Mon, 22 Apr 2002 14:53:55 +0000 (14:53 +0000)
commit7357aa72b226896dce1dac24f058ba9c9c3a37fc
tree52da5e5a5150b1bd0d3b4adea9e16347420ed626
parentec63ba6203f46a26cf09aa44f962271d5f72e2cf
changed file name and name prefixes

[r362]
ir/debug/dbginfo.c [new file with mode: 0644]