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

strip trailing dots in goto/datatip (and rename) #208

Merged
merged 7 commits into from
Nov 1, 2019
Merged

Commits on Oct 30, 2019

  1. strip trailing dots

    aviatesk committed Oct 30, 2019
    Configuration menu
    Copy the full SHA
    a27f063 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6820594 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d8d96fc View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7ef71d7 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2019

  1. refactor on goto.jl

    aviatesk committed Nov 1, 2019
    Configuration menu
    Copy the full SHA
    4e3ec5d View commit details
    Browse the repository at this point in the history
  2. update test/goto.jl

    aviatesk committed Nov 1, 2019
    Configuration menu
    Copy the full SHA
    fc55385 View commit details
    Browse the repository at this point in the history
  3. compat with julia 1.0

    aviatesk committed Nov 1, 2019
    Configuration menu
    Copy the full SHA
    9d80e2f View commit details
    Browse the repository at this point in the history