Skip to content

Merge pull request #151 from kahypar/rename_configurations #38

Merge pull request #151 from kahypar/rename_configurations

Merge pull request #151 from kahypar/rename_configurations #38