Rename info and stats.

This commit is contained in:
Dominik Pantůček 2023-04-13 20:15:43 +02:00
parent e4ad273b06
commit e54e4bd016
4 changed files with 26 additions and 22 deletions

View file

@ -256,7 +256,7 @@
(newline)
(parameterize ((current-output-port (open-output-file (-fname-))))
(print-members-base-stats
(members-base-stats MB))))
(mbase-stats MB))))
((print-member-file)
(cond (mr
(newline)