fix. (ebnf-version): New version number (3.2). (ebnf-format-color, ebnf-begin-job): Code fix.
Attach a file by drag & drop or click to upload
