Home | History | Annotate | Download | only in bison

Lines Matching full:header_extension

1908 ** "%source_extension" and "%header_extension" are removed, failed
1944   "%debug", "%source_extension" and "%header_extension".