diff options
| -rw-r--r-- | config/example-extras.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/example-extras.cfg b/config/example-extras.cfg index 898e2d33..92e6ef24 100644 --- a/config/example-extras.cfg +++ b/config/example-extras.cfg @@ -96,6 +96,8 @@ #samples: #sample_retract_dist: #samples_result: +#samples_tolerance: +#samples_tolerance_retries: # See the "probe" section for information on these parameters. |