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

Minor cleanup to Highlighter types #3003

Merged
merged 5 commits into from
Jan 6, 2018
Merged

Minor cleanup to Highlighter types #3003

merged 5 commits into from
Jan 6, 2018

Commits on Nov 14, 2017

  1. Minor cleanup to Highlighter types

    @jjatie
    jjatie committed Nov 14, 2017
    Configuration menu
    Copy the full SHA
    c28880a View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2017

  1. Fixes for PR

    @jjatie
    jjatie committed Nov 15, 2017
    Configuration menu
    Copy the full SHA
    df3b852 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into highlight-logic

    @jjatie
    jjatie committed Nov 15, 2017
    Configuration menu
    Copy the full SHA
    e66ba14 View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2018

  1. Merge remote-tracking branch 'upstream/master' into highlight-logic

    @jjatie
    jjatie committed Jan 6, 2018
    Configuration menu
    Copy the full SHA
    796cb2d View commit details
    Browse the repository at this point in the history

  2. Pulled master and updated code style

    @jjatie
    jjatie committed Jan 6, 2018
    Configuration menu
    Copy the full SHA
    fa1297a View commit details
    Browse the repository at this point in the history