Searched refs:FinalSpelling (Results 1 – 3 of 3) sorted by relevance
25 FinalSpelling(Options.get("FinalSpelling", "final")) {} in UseOverrideCheck()31 Options.store(Opts, "FinalSpelling", FinalSpelling); in storeOptions()127 << OverrideSpelling << FinalSpelling; in check()
34 const std::string FinalSpelling; variable
44 .. option:: FinalSpelling