Skip to content

Conversation

@noahvanhaute
Copy link
Contributor

Updated out of date links to JSON files that have to be downloaded for the browser extension to work as mentioned in #565.

I also noticed the windows files JabRef.bat and JabRef.ps1 have been renamed to JabRefHost.bat and JabRefHost.ps1. Should this be changed accordingly?

Updated out of date links to JSON files that have to be downloaded for the browser extension to work as mentioned in #565.

I also noticed the windows files `JabRef.bat` and `JabRef.ps1` have been renamed to `JabRefHost.bat` and `JabRefHost.ps1`.
Should this be changed accordingly?
Copy link
Member

@koppor koppor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for the update!

raw was the deep link to the file. I hope/assume that nowadays people know how to download!

@koppor koppor merged commit 56ad253 into JabRef:main May 20, 2025
3 of 4 checks passed
@noahvanhaute
Copy link
Contributor Author

My pleasure!

@noahvanhaute noahvanhaute deleted the patch-1 branch August 3, 2025 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants