tree 19c811ad144cf56350df698653c0a38a0f3c471b
parent d25a2645f5273e70616abe73e6ac1adda5016532
author Denis Vlasenko <vda.linux@googlemail.com> 1157449530 -0000
committer Denis Vlasenko <vda.linux@googlemail.com> 1157449530 -0000

run_shell.c: style fix