diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-05-20 21:17:56 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-05-20 21:17:56 +0200 |
commit | 82a976c742ba88ecd2aa66074e388025f9af6231 (patch) | |
tree | 3242dca909c1d27afd9f388026dae4c6fc891cb0 /.gitignore | |
parent | 2e125c1c7e75db14a88f0b8b09e61a132977c63e (diff) |
Rename normtype/NT to normform/NF
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions