-
Per Cederqvist authored
(lexer.ignore): Ignore @display. (lexer.toplevel_bye): Exit when reaching "bye". (lexer.__parse_userdefined_types): Ignore @need commands.
f33cdba8
(lexer.ignore): Ignore @display. (lexer.toplevel_bye): Exit when reaching "bye". (lexer.__parse_userdefined_types): Ignore @need commands.