Allow loading of extraperfect files from all root dirs#5938

ThomasBreuer merged 1 commit intogap-system:mastergap-system/gap:masterfrom

lgoettgens:lg/extraperfect-ExtendRootDirectorieslgoettgens/gap:lg/extraperfect-ExtendRootDirectoriesCopy head branch name to clipboard