Skip to content
This repository has been archived by the owner on Jan 20, 2022. It is now read-only.

ADd a means to set defaults outside the planner #351

Merged
merged 1 commit into from Nov 9, 2013

Conversation

ianoc
Copy link
Collaborator

@ianoc ianoc commented Nov 9, 2013

Allows the system to supply a lower priority options set, so can supply default reducers

johnynek added a commit that referenced this pull request Nov 9, 2013
ADd a means to set defaults outside the planner
@johnynek johnynek merged commit 67d4cdd into develop Nov 9, 2013
@johnynek johnynek deleted the feature/add_default_option_setting branch November 9, 2013 01:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants