Finish module renaming.

This commit is contained in:
Dominik Pantůček 2023-04-11 21:52:38 +02:00
parent 2a9b04d8d6
commit 6b5821ac2e
13 changed files with 15 additions and 15 deletions

View file

@ -41,7 +41,7 @@
command-line
members-dir
primes
member-record
brmember
table
util-csv
util-set-list