Skip to content

Commit

Permalink
Forgotten file
Browse files Browse the repository at this point in the history
  • Loading branch information
@PaulKlint
PaulKlint committed Mar 12, 2024
1 parent e21fc0e commit 0bc0aab
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .settings/org.eclipse.core.resources.prefs
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
eclipse.preferences.version=1
encoding//src/org/rascalmpl/core/library=UTF-8
encoding//target/generated-test-resources=UTF-8
encoding//target/generated-test-sources=UTF-8
encoding/<project>=UTF-8
encoding/src=UTF-8
encoding/test=UTF-8

0 comments on commit 0bc0aab

Please sign in to comment.