org.eclipse.core.resources.prefs « .settings « hu.bme.mit.inf.dslreasoner.domains.cps « 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.cps/.settings/org.eclipse.core.resources.prefs

blob: 6d3062d39dd396f1324900836e190ab305c0e721 (plain) (blame)

1
2
3

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