2 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	b28d6fa4e7	Add FilePrefixLoader	2022-09-05 23:30:05 +02:00
Jörn-Michael Miehe	749f56268c	common "Iterator" stuff	2022-09-05 23:30:05 +02:00