dobots/aimtools — pull request #12 by vliedel (2013-09-30 15:30:10+00:00)
Title: prettier output

in aimmake and cmakelist