diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-02-27 15:29:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-27 15:29:34 -0500 |
commit | c64a8eac1ed408882271dcdc67cd2018020bff9f (patch) | |
tree | 103e5e763d45c0577690e25c49c004ceb0a6a95b /dev/lint | |
parent | 2a5aa534115cd5e2169aa774bd2c38926958839e (diff) |
Change "Raw term" to "Plain term" (#1450)
Diffstat (limited to 'dev/lint')
0 files changed, 0 insertions, 0 deletions