2019-02-05 15:54:27 +01:00
parent 7ff9cb684b
commit 911022b078
48 changed files with 456 additions and 98 deletions
@@ -0,0 +1,3 @@
+time.sleep(3.0)
+
+set_exec_pars(then = "time.sleep(5.0)")