RDL-Editor/com.minres.rdl.parent/com.minres.rdl.ui/xtend-gen/com/minres/rdl/ui/preferences at d865faf127c4583f11d090cb1ff3d8169b3209e0 - RDL-Editor - MINRES Technologies

Tools/RDL-Editor

mirror da https://github.com/Minres/RDL-Editor.git synced 2025-12-19 10:34:47 +00:00

Files

Eyck Jentzsch d050a47357 ensure string consistency

2017-09-19 21:50:42 +02:00

..

RdlPreferencePage.java

ensure string consistency

2017-09-19 21:50:42 +02:00