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

Adjust eclipse configuration #2139

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Conversation

TobiasNx
Copy link
Contributor

@dr0i could you have a look.

I updated the eclispe configuration since they still were set to Java 1.8

@TobiasNx TobiasNx requested a review from dr0i January 24, 2025 11:59
@dr0i
Copy link
Member

dr0i commented Jan 24, 2025

As I don't use eclipse but as @fsteeg does I assign the latter.

@dr0i dr0i assigned fsteeg and unassigned dr0i Jan 24, 2025
@dr0i dr0i requested review from fsteeg and removed request for dr0i January 24, 2025 13:14
@fsteeg
Copy link
Member

fsteeg commented Jan 24, 2025

Since these config files are very dependent on the local setup (Eclipse version etc.) I think we should rather delete them in the repo and add them to .gitignore.

@fsteeg fsteeg assigned TobiasNx and unassigned fsteeg Jan 24, 2025
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.

3 participants