org.eclipse.core.resources.prefs « .settings « ca.mcgill.ecse.dslreasoner.vampire.language « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.settings/org.eclipse.core.resources.prefs

blob: 4824b8026319a8fb303971008a7d59a816d58bd6 (plain) (blame)

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