gtbook/robotics

Rename art images

dellaert opened this issue · 1 comments

dellaert commented
Rename art images
dellaert commented

done with new version of gtbook