Filet temporaei eliminati prima della ricompilazione

2019-11-14 16:10:59 +01:00
parent e3b88fe742
commit c9108aaa54
54 changed files with 0 additions and 11303 deletions
--- a/devel/share/ur_driver/docs/URDriverConfig.wikidoc
+++ b/devel/share/ur_driver/docs/URDriverConfig.wikidoc
@@ -1,12 +0,0 @@
-# Autogenerated param section. Do not hand edit.
-param {
-group.0 {
-name=Dynamically Reconfigurable Parameters
-desc=See the [[dynamic_reconfigure]] package for details on dynamically reconfigurable parameters.
-0.name= ~prevent_programming
-0.default= False
-0.type= bool
-0.desc=Prevent driver from continuously uploading 'prog' 
-}
-}
-# End of autogenerated section. You may edit below.