make different output to terminal and rest
authorJosef Reidinger <jreidinger@suse.cz>
Tue, 22 Apr 2008 13:58:56 +0000 (13:58 +0000)
committerJosef Reidinger <jreidinger@suse.cz>
Tue, 22 Apr 2008 13:58:56 +0000 (13:58 +0000)
commit8008866b874421e2c9b374a907b71bbd500d682b
treebf09576b1e5b2e026193065540d194d23f9068a2
parent2a7164e2c59ff31094d3f8b02743979fd561d963
make different output to terminal and rest
src/output/OutNormal.cc