Commit bdeb6da7 authored by Andreas Klöckner's avatar Andreas Klöckner Committed by Andreas Klöckner
Browse files

Type partition and friends

parent cb0e7321