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.

Sign up for GitHub

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

Jump to bottom

Let userland remove the production tips info #4907

Closed
wants to merge 3 commits into from
Closed

Let userland remove the production tips info #4907

wants to merge 3 commits into from

Commits on Feb 11, 2017

  1. Add flag to turn off production tips info

    @smolinari
    smolinari committed Feb 11, 2017
    Configuration menu
    Copy the full SHA
    8c54aba View commit details
    Browse the repository at this point in the history

  2. Changed the logic around.

    @smolinari
    smolinari committed Feb 11, 2017
    Configuration menu
    Copy the full SHA
    df19b12 View commit details
    Browse the repository at this point in the history

  3. Renamed variable to match Evan's name of the feature.

    @smolinari
    smolinari committed Feb 11, 2017
    Configuration menu
    Copy the full SHA
    93e0973 View commit details
    Browse the repository at this point in the history