increase dbg_printf buffer in debug/debugger.c
authorMatthias Braun <matthias.braun@kit.edu>
Wed, 13 Jun 2012 08:59:25 +0000 (10:59 +0200)
committerMatthias Braun <matthias.braun@kit.edu>
Wed, 13 Jun 2012 08:59:25 +0000 (10:59 +0200)
commitede14a46fac599e32b0a539604f8b7dae58ca672
tree7b8d80cdf0d95c6bc43abd5a5b0bec8528051a69
parent484a2c65553713acbd118fe52b855c2a55558ebf
increase dbg_printf buffer in debug/debugger.c
ir/debug/debugger.c