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

GUI: Replace "Close" by "Close library" #10043

Merged
merged 6 commits into from
Jul 1, 2023
Merged

GUI: Replace "Close" by "Close library" #10043

merged 6 commits into from
Jul 1, 2023

Commits on Jun 27, 2023

  1. Changes Close to Close library in the File tab in the GUI

    @Luggas4you
    Luggas4you committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    d143d63 View commit details
    Browse the repository at this point in the history

  2. Delete Close in JabRef_en.properties

    @Luggas4you
    Luggas4you committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    8dcf79d View commit details
    Browse the repository at this point in the history

  3. Add changes to CHANGELOG.md

    @Luggas4you
    Luggas4you committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    92acecc View commit details
    Browse the repository at this point in the history

  4. Fix CHANGELOG.md entry

    @Luggas4you
    Luggas4you committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    84c652d View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2023

  1. Change tab to menu in the CHANGELOG.md

    @Luggas4you
    Luggas4you committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    2edd0c4 View commit details
    Browse the repository at this point in the history

  2. Delte spacebar between brackets

    @Luggas4you
    Luggas4you committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    2700c9e View commit details
    Browse the repository at this point in the history