diff --git a/node1/node.ini b/node1/node.ini index 11bf22013e06215e44dc68471b208fb0f8be2c86..a5fb1b846c23775225cab7b885bdd362a9e04e0e 100644 --- a/node1/node.ini +++ b/node1/node.ini @@ -4,5 +4,3 @@ text_dir=../text/ temp_dir=temp ars= settings=0 -sem_check=0 -stat_check=0