Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
editor: Use "Identifier:" instead of "ID" for the label for gui2::ted…
…it_text
- Loading branch information