Enable foldtabs warning

2014-07-28 17:39:35 +02:00
parent 538d9ab66e
commit a6b3a0946f
2 changed files with 6 additions and 1 deletions
--- a/main.py
+++ b/main.py
@@ -35,7 +35,7 @@ Options (* means not implemented):
                       directives like: # 123 "filename".
  optimize             Runs the optimizer.
  optsigns             Optimize signs and float as int.
-  * foldtabs           Tabs can't be copy-pasted, so they aren't optimized by
+  foldtabs             Tabs can't be copy-pasted, so they aren't optimized by
                       default. But with support from the viewer, they can be
                       folded too and make it to the uploaded source. This
                       option overrides that check, enabling optimization of