index 4883834a14ebfe74ff8c6794db1dfd13c0ef9028..8421a39f26ac4807afd42e8f3ac084686b170871 100644 (file)
OPTIONS
-------
--s|--strip-comments::
+-s::
+--strip-comments::
In addition to empty lines, also strip lines starting with '#'.
<stream>::