Skip to content

Remove Eclipse specific files#76

Merged
elharo merged 2 commits intomainfrom
eclipse
Mar 1, 2026
Merged

Remove Eclipse specific files#76
elharo merged 2 commits intomainfrom
eclipse

Conversation

@elharo
Copy link
Contributor

@elharo elharo commented Mar 1, 2026

Anyone using Eclipse can import the project directly with the new project wizard. In general we don't want to maintain files for one specific IDE. We've already ignored various IntelliJ files.

Part of cleaning out references to the tools directory so we can delete a lot of that.

Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Removes Eclipse IDE metadata from the repository to avoid maintaining project files for a single IDE and to reduce references to the tools/ directory.

Changes:

  • Add .classpath to .gitignore to prevent it from being reintroduced.
  • Delete the tracked .classpath Eclipse classpath file (which referenced JARs under tools/).

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File Description
.gitignore Ignores Eclipse .classpath going forward.
.classpath Removes Eclipse classpath configuration from version control.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Copy link
Member

@garydgregory garydgregory left a comment

Choose a reason for hiding this comment

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

LGTM. Might need to add .settings as well.

@elharo
Copy link
Contributor Author

elharo commented Mar 1, 2026

LGTM. Might need to add .settings as well.

I don't think that's in the repo. Possibly that was already removed if it was ever here.

@elharo elharo merged commit 5aa3d4e into main Mar 1, 2026
5 checks passed
@elharo
Copy link
Contributor Author

elharo commented Mar 1, 2026

LGTM. Might need to add .settings as well.

I don't think that's in the repo. Possibly that was already removed if it was ever here.

Oh, you want it added to .gitignore. That makes sense.

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