org.eclipse.core.resources.prefs « .settings « org.eclipse.viatra.solver.language « org.eclipse.viatra.solver.language.parent - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/.settings/org.eclipse.core.resources.prefs

blob: 99f26c0203a7844de00dbfc56e6a35d8ed3c022c (plain) (blame)

1 2	`eclipse.preferences.version=1 encoding/<project>=UTF-8`