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

Open

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

+7-21

Commits on Mar 19, 2023

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

Commits on Jun 11, 2023

Fix scripts that tried to load nonexistant pages
dgelessus
committed