From 4574e86cc14686dd05fef3f0c15483111ed64798 Mon Sep 17 00:00:00 2001
From: Joachim Stolberg <joe.stolberg@gmx.de>
Date: Fri, 16 Jun 2017 00:27:41 +0200
Subject: [PATCH] added

---
 settingtypes.txt | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 settingtypes.txt

diff --git a/settingtypes.txt b/settingtypes.txt
new file mode 100644
index 0000000..221834c
--- /dev/null
+++ b/settingtypes.txt
@@ -0,0 +1,3 @@
+-- if true, you have to punch the sieve to operate
+-- if false, the sieve will operate automatically
+gravelsieve_enable_manual_mode (Enable manual mode) bool false
\ No newline at end of file