Remove unnecessary braces
patch 5511dcb92b2c3f22d8aaf1cdcb93de720aa6eee1
Author: Enrique D. Bosch <presidev@AT@gmail.com>
Date: Sat Nov 12 19:01:49 CET 2016
* Remove unnecessary braces
diff -rN -u old-idlebiff/idlebiff new-idlebiff/idlebiff
--- old-idlebiff/idlebiff 2024-05-06 04:07:22.868335675 +0200
+++ new-idlebiff/idlebiff 2024-05-06 04:07:22.868335675 +0200
@@ -161,7 +161,7 @@
set cf [ open $config ]
while { [ gets $cf lin ] >= 0 } \
{
- if { [ string index [ string trim $lin ] 0 ] == "#" } { continue }
+ if { [ string index [ string trim $lin ] 0 ] == "#" } continue
set sep [ string first = $lin ]
set key [ string range $lin 0 [ expr $sep - 1 ] ]
set val [ string range $lin [ expr $sep + 1 ] end ]