]> git.plutz.net Git - serve0/commit
quicker name prefix assignment
authorPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 15:23:42 +0000 (16:23 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 22 Feb 2022 15:23:42 +0000 (16:23 +0100)
commitf56158f7be449686094504a1eeafcd591186a801
tree20f645f29bb1f6db2ad15f8e1ad6a9a502700f5c
parent47009795c4998f1571a6f97de463d43f73defdc4
quicker name prefix assignment
db_meta.sh