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.

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

Preserve examples #2778

Merged
merged 4 commits into from
Nov 15, 2018
Merged

Commits on Nov 14, 2018

  1. Configuration menu
    Copy the full SHA
    58bd7a0 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    890598f View commit details
    Browse the repository at this point in the history
  3. tabs instead of spaces

    dschulten committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    e18ab66 View commit details
    Browse the repository at this point in the history
  4. two spaces instead of tabs

    dschulten committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    1174d01 View commit details
    Browse the repository at this point in the history