org.eclipse.core.resources.prefs « .settings « hu.bme.mit.inf.dslreasoner.domains.satellite « Domains - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/.settings/org.eclipse.core.resources.prefs

blob: 4a3e59e4d0f55f85ebaf00ab4ccd8ef05bc821eb (plain) (blame)

1
2
3

eclipse.preferences.version=1
encoding//model/satellite.henshin=UTF-8
encoding//model/satellite.henshin_diagram=UTF-8