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

WTP - Ignore external URIs by default #369

Merged
merged 6 commits into from
Mar 10, 2019
Merged

WTP - Ignore external URIs by default #369

merged 6 commits into from
Mar 10, 2019

Commits on Mar 10, 2019

  1. Implementation draft and testing.

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    b23ee9e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into eclipse-wtp-prevent-external-uri

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    e73de29 View commit details
    Browse the repository at this point in the history

  3. Applied Spotless. Refactored preferences. Updated README.

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    451251f View commit details
    Browse the repository at this point in the history

  4. Bumped version. Fixed minor bug.

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    e87bff9 View commit details
    Browse the repository at this point in the history

  5. Updated change log.

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    b0c0a07 View commit details
    Browse the repository at this point in the history

  6. Fixed bug in README introduced by merge with master.

    @fvgh
    fvgh committed Mar 10, 2019
    Configuration menu
    Copy the full SHA
    035afba View commit details
    Browse the repository at this point in the history