Fix issues introduced by #162.

Switch to more consistent naming scheme.
This commit is contained in:
Paul
2021-09-03 11:21:51 +01:00
parent 8fd640d7d8
commit 7627189005
4 changed files with 16 additions and 13 deletions

2
external/lang vendored