Skip to content

Commit

Permalink
Delete jplag.frontend.scheme/.settings directory
Browse files Browse the repository at this point in the history
  • Loading branch information
tsaglam committed Jun 16, 2021
1 parent 56072fe commit af1c2a7
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 19 deletions.

This file was deleted.

12 changes: 0 additions & 12 deletions jplag.frontend.scheme/.settings/org.eclipse.jdt.core.prefs

This file was deleted.

4 changes: 0 additions & 4 deletions jplag.frontend.scheme/.settings/org.eclipse.m2e.core.prefs

This file was deleted.

0 comments on commit af1c2a7

Please sign in to comment.