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

 
Spracherkennung für: .prefs vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

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

[ Dauer der Verarbeitung: 0.25 Sekunden  ]