Finish renaming fixup.

This commit is contained in:
Dominik Pantůček 2023-06-15 14:08:09 +02:00
parent dc3a1559f4
commit 3a59a9293a
2 changed files with 2 additions and 2 deletions

View file

@ -42,7 +42,7 @@
mbase-dir
primes
brmember
table
table-old
util-csv
util-set-list
util-parser