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

Completely rework save operation #4309

Merged
merged 11 commits into from
Sep 13, 2018
Merged

Completely rework save operation #4309

merged 11 commits into from
Sep 13, 2018

Commits on Sep 1, 2018

  1. Make FileHistory use Paths instead of strings

    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    bdf1061 View commit details
    Browse the repository at this point in the history

  2. Almost completely rewrite save infrastructure

    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    a9c31b8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/JabRef/jabref into rework… 

    …Save
    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    256f8be View commit details
    Browse the repository at this point in the history

  4. Fix build

    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    dbc9f45 View commit details
    Browse the repository at this point in the history

  5. Fix tests

    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    161a7a0 View commit details
    Browse the repository at this point in the history

  6. Remove file lock

    @tobiasdiez
    tobiasdiez committed Sep 1, 2018
    Configuration menu
    Copy the full SHA
    643f461 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2018

  1. Improve comments

    @tobiasdiez
    tobiasdiez committed Sep 2, 2018
    Configuration menu
    Copy the full SHA
    d67a11c View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2018

  1. Merge branch 'master' of https://github.com/JabRef/jabref into rework… 

    …Save
    @tobiasdiez
    tobiasdiez committed Sep 13, 2018
    Configuration menu
    Copy the full SHA
    60199a0 View commit details
    Browse the repository at this point in the history

  2. Fix build

    @tobiasdiez
    tobiasdiez committed Sep 13, 2018
    Configuration menu
    Copy the full SHA
    c7781cd View commit details
    Browse the repository at this point in the history

  3. Implement feedback and fix tests

    @tobiasdiez
    tobiasdiez committed Sep 13, 2018
    Configuration menu
    Copy the full SHA
    6c36cc7 View commit details
    Browse the repository at this point in the history

  4. Fix build

    @tobiasdiez
    tobiasdiez committed Sep 13, 2018
    Configuration menu
    Copy the full SHA
    621361a View commit details
    Browse the repository at this point in the history