RoboticsManual_2019-02-28_20-49-42
In this release, the time of build is different then the time of the commit. The difference is two hours due to different time zone on Travis server. That is the reason why time in the name of PDF file differs.
In this release, the time of build is different then the time of the commit. The difference is two hours due to different time zone on Travis server. That is the reason why time in the name of PDF file differs.