start-jsk/rtshell_core — pull request #31 by k-okada (2014-04-08 10:23:34+00:00)
Title: fix for rtprint

the original patch is proposed in https://github.com/gbiggs/rtshell/pull/15, but not merged for long time