Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduce pymor.core.config module #339

Merged
merged 3 commits into from Dec 20, 2016
Merged

Introduce pymor.core.config module #339

merged 3 commits into from Dec 20, 2016

Conversation

@sdrave
Copy link
Member

@sdrave sdrave commented Dec 16, 2016

This addresses #317. @renemilk, @ftalbrecht, please let me know what you think ..

@sdrave sdrave added this to the 0.5 milestone Dec 16, 2016
@renefritze
Copy link
Member

@renefritze renefritze commented Dec 19, 2016

Very nice.

@sdrave sdrave merged commit 9ac7487 into master Dec 20, 2016
3 checks passed
3 checks passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
coverage/coveralls Coverage increased (+0.09%) to 79.27%
Details
@sdrave sdrave deleted the pymor_config branch Dec 20, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants