• unknown's avatar
    Fix to reserved words script. · 49ddcb92
    unknown authored
    Updated reserved words list in manual.
    
    
    Docs/Support/update-reserved-words.pl:
      Fix to reserved words script, 2 keywords and 15 synonyms were missing.
    Docs/manual.texi:
      Updated reserved word list.
    49ddcb92
update-reserved-words.pl 2.5 KB