Renamed Registry -> GenericRegistry to make it clear that this registry does
[core.git] / framework / main / interfaces / database / frontend /
2017-02-28 Roland HaederContinued with renaming-season: