Merge branch 'master' into next

2018-06-21 10:05:20 +01:00
parent dd69381a13 db2f9ff59f
commit 0236c7d70c
8 changed files with 26 additions and 26 deletions
@@ -17,7 +17,7 @@
 		<name>Period (ms)</name>
 		<key>interval</key>
 		<value>1000</value>
-		<type>real</type>
+		<type>int</type>
 	</param>
 	<param>
 		<name>Quit</name>
@@ -17,7 +17,7 @@
 		<name>Period (ms)</name>
 		<key>interval</key>
 		<value>1000</value>
-		<type>real</type>
+		<type>int</type>
 	</param>
 	<param>
 		<name>Quit</name>