diff options
| author | Laurenz <laurmaedje@gmail.com> | 2020-09-02 16:54:22 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2020-09-02 16:54:22 +0200 |
| commit | 7f575dc09870848a1a4e5ba1f17a47cf83b60046 (patch) | |
| tree | 5b84a4ada807c842b43741c4cf0ff8f46d82c80e /.github | |
| parent | b2f37300132376760c6528f9e0044901638d0115 (diff) | |
Rename `skip_white` to `skip_ws` ✒
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions