aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-05-20 21:17:56 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-05-20 21:17:56 +0200
commit82a976c742ba88ecd2aa66074e388025f9af6231 (patch)
tree3242dca909c1d27afd9f388026dae4c6fc891cb0 /.gitignore
parent2e125c1c7e75db14a88f0b8b09e61a132977c63e (diff)
Rename normtype/NT to normform/NF
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions