[Einstein Toolkit] #159: Rename --replacement to --replace, --substitution to --substitute
#159: Rename --replacement to --replace, --substitution to --substitute ------------------------+--------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: defect | Status: new Priority: major | Milestone: Component: SimFactory | Version: Keywords: | ------------------------+--------------------------------------------------- The option names should be verbs, not nouns.
#159: Rename --replacement to --replace, --substitution to --substitute -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: eschnett Type: defect | Status: assigned Priority: major | Milestone: Component: SimFactory | Version: Resolution: | Keywords: -------------------------+-------------------------------------------------- Changes (by eschnett):
* owner: mthomas => eschnett * status: new => assigned
Comment:
Implemented.
#159: Rename --replacement to --replace, --substitution to --substitute -------------------------+-------------------------------------------------- Reporter: eschnett | Owner: eschnett Type: defect | Status: closed Priority: major | Milestone: Component: SimFactory | Version: Resolution: fixed | Keywords: -------------------------+-------------------------------------------------- Changes (by eschnett):
* status: assigned => closed * resolution: => fixed
trac@lists.einsteintoolkit.org
-
Einstein Toolkit