On Tue, Jan 31, 2023 at 10:59:59AM +0700, Bagas Sanjaya wrote:
On Mon, Jan 30, 2023 at 02:57:31PM -0800, Fan Wu wrote:
What about wordings below instead?
Thanks for the review!
-IPE policy supports comments. The character '#' will function as a
-comment, ignoring all characters to the right of '#' until the newline.
+IPE policy supports comments. Any line which is prefixed with ``#`` will
+be ignored.
This one is actually incorrect. The '#' can also appear at the
end of a rule.
So it is not only prefixed to a line.
Other than this part, everything looks great, I will take them in the next
version.
-Fan
-----------
Thanks.
--
An old man doll... just what I always wanted! - Clara