Skip to content

Removed two unused preference options#8164

Merged
koppor merged 2 commits into
mainfrom
remove-unused-prefs
Oct 18, 2021
Merged

Removed two unused preference options#8164
koppor merged 2 commits into
mainfrom
remove-unused-prefs

Conversation

@calixtus

Copy link
Copy Markdown
Member

Refs #8148 (comment)

  • Change in CHANGELOG.md described in a way that is understandable for the average user (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

@koppor koppor merged commit b844703 into main Oct 18, 2021
@koppor koppor deleted the remove-unused-prefs branch October 18, 2021 19:26
@calixtus calixtus added component: preferences status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers code-quality dev: code-quality Issues related to code or architecture decisions and removed code-quality labels Oct 18, 2021
Siedlerchr added a commit that referenced this pull request Oct 22, 2021
…idth

* upstream/main:
  Fix some typos (#8157)
  Removed two unused preference options (#8164)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

component: preferences dev: code-quality Issues related to code or architecture decisions status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants