#11 re2c:ignore instead of ignore:re2c ?

closed
None
5
2008-05-25
2008-05-07
Dennis Schridde
No

Hello!

I found it surprising that to-be-ignored comments are marked with "ignore:re2c", while all other re2c directives start with "re2c:"

Discussion

  • Marcus Börger
    Marcus Börger
    2008-05-25

    • assigned_to: nobody --> helly
    • status: open --> closed
     
  • Marcus Börger
    Marcus Börger
    2008-05-25

    Logged In: YES
    user_id=271023
    Originator: NO

    Actually that is not true, they all end in ':re2c': rules:re2c, use:re2c, max:re2c, getstate:re2c, types:re2c