Skip to content

Rename is_escapable_character()#1112

Closed
nyurik wants to merge 1 commit intorust-lang:masterfrom
nyurik:rename_is_escapeable_character
Closed

Rename is_escapable_character()#1112
nyurik wants to merge 1 commit intorust-lang:masterfrom
nyurik:rename_is_escapeable_character

Commits

Commits on Oct 16, 2023