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

Resolve problems with jazzy #116

Closed
ruspl-afed opened this issue Feb 27, 2024 · 1 comment
Closed

Resolve problems with jazzy #116

ruspl-afed opened this issue Feb 27, 2024 · 1 comment
Milestone

Comments

@ruspl-afed
Copy link
Contributor

We have a number of issues with Jazzy

  • it is not published on maven central
  • it has no official sources
  • it is not signed
  • it has classes in the root that breaks BND tooling
  • it has questionable license

Somehow we need to resolve all this

ruspl-afed added a commit to ruspl-afed/texlipse that referenced this issue Mar 6, 2024
* retire jazzy
* switch to standard spelling reconciler
ruspl-afed added a commit that referenced this issue Mar 6, 2024
* retire jazzy
* switch to standard spelling reconciler
@ruspl-afed ruspl-afed added this to the 2.0.4 milestone Mar 6, 2024
@ruspl-afed
Copy link
Contributor Author

It is time to say "thank you" to jazzy and go forward.
Editor was switched to standard spelling reconciler

ruspl-afed added a commit to ruspl-afed/texlipse that referenced this issue Mar 6, 2024
* retire jazzy
* switch to standard spelling reconciler
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

No branches or pull requests

1 participant