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

Various fixes and minor adjustments #257

Merged
merged 10 commits into from
Feb 16, 2017
Merged

Various fixes and minor adjustments #257

merged 10 commits into from
Feb 16, 2017

Commits on Feb 8, 2017

  1. Configuration menu
    Copy the full SHA
    b03aad8 View commit details
    Browse the repository at this point in the history
  2. Cleanup

    vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    bd4e6e8 View commit details
    Browse the repository at this point in the history
  3. Some profiling tools

    vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    89bb72f View commit details
    Browse the repository at this point in the history
  4. Typo in comment.

    Martin Sandve Alnæs authored and vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    c76c2e4 View commit details
    Browse the repository at this point in the history
  5. Bugfix in pointer regex.

    Martin Sandve Alnæs authored and vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    d658d34 View commit details
    Browse the repository at this point in the history
  6. Minor adjustments

    Martin Sandve Alnæs authored and vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    44b5930 View commit details
    Browse the repository at this point in the history
  7. A couple of bugfixes in merge algorithm.

    Martin Sandve Alnæs authored and vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    416c0cb View commit details
    Browse the repository at this point in the history
  8. Remove old fixme comments.

    Martin Sandve Alnæs authored and vidartf committed Feb 8, 2017
    Configuration menu
    Copy the full SHA
    6b2e4d5 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2017

  1. Improve drag workaround

    vidartf committed Feb 16, 2017
    Configuration menu
    Copy the full SHA
    028f0e1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4880e52 View commit details
    Browse the repository at this point in the history