Closed jwnimmer-tri closed 4 years ago
The extra space confuses some of Drake's filename parsing.
Towards https://github.com/RobotLocomotion/drake/issues/13663.
This change is
+@SeanCurtis-TRI for review, please.
\CC @RussTedrake FYI
The extra space confuses some of Drake's filename parsing.
Towards https://github.com/RobotLocomotion/drake/issues/13663.
This change is