Skip to content

updated UR tools

Ruiz Garcia Manuel Alejandro requested to merge manuel/urscript-manual into master
  1. added the download of the URScript manual in PDF format inside the ur_build_image.sh script.
  2. README.md updated accordingly.

Merge request reports