Remove references to pages that don't exist (i. e. have no .prp file)#1366

Closed

dgelessus wants to merge 2 commits intoH-uru:masterfrom dgelessus:remove_nonexistant_pages

+7-120

Commits on Mar 19, 2023

Complain more loudly when something tries to load a nonexistant page
dgelessus
committed

Commits on Mar 20, 2023

Remove references to pages that don't exist (i. e. have no .prp file)
dgelessus
committed