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

Issue 591: command-line properties #592

Closed
wants to merge 7 commits into from
Closed

Issue 591: command-line properties #592

wants to merge 7 commits into from

Conversation

rlouapre
Copy link
Contributor

No description provided.

@grtjn
Copy link
Contributor

grtjn commented Mar 31, 2016

Looks good at first glance..

@dmcassel
Copy link
Collaborator

dmcassel commented Apr 4, 2016

This PR addresses multiple issues. It's easier to review and accept PRs that address one thing at a time.

I've tested the parameter override (#591), but not the group setting changes.

@grtjn
Copy link
Contributor

grtjn commented Apr 4, 2016

Merge conflict. Rebase please?

@grtjn
Copy link
Contributor

grtjn commented Apr 4, 2016

Hmm, looks like commits from multiple PR's are piled up in here. Is it possible to take out the non-relevant ones?

@grtjn grtjn changed the title Issue 591 Issue 591: command-line properties Jun 20, 2016
@grtjn
Copy link
Contributor

grtjn commented Jun 20, 2016

Need help with rebasing?

@rlouapre
Copy link
Contributor Author

rlouapre commented Jun 27, 2016

Closing. See new PR #623

@rlouapre rlouapre closed this Jun 27, 2016
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

3 participants