PR #8980 New default help string

New default help string #8980

MikeInnes merged 3 commits into master from omm/help-update

MikeInnes force pushed from 40220e04 to 1412fb99 11 years ago

MikeInnes force pushed from 1412fb99 to 446d1ffb 11 years ago

MikeInnes force pushed from 446d1ffb to 6bb2279e 11 years ago

tweak terminal output

7671f071

add new help string

f5b6bc68

MikeInnes force pushed from 8476e0f6 to b3c8353f 11 years ago

move new repl help

ff6bfdfb

MikeInnes force pushed from b3c8353f to ff6bfdfb 11 years ago

MikeInnes merged 05c3dcdc into master 11 years ago

MikeInnes deleted the omm/help-update branch 11 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone