Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/SSlibE2PP/.settings/   (Entwicklungsumgebung Eclipse ©)  Datei vom 13.4.2020 mit Größe 54 B image not shown  

Quelle  org.eclipse.core.resources.prefs   Sprache: unbekannt

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

[ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet)  ]