Tools
/
RDL-Editor
mirror of https://github.com/Minres/RDL-Editor.git
8
0
Fork 0
Code Issues 1 Packages Releases Wiki Activity
RDL-Editor/com.minres.rdl.parent/com.minres.rdl.ui/xtend-gen/com/minres/rdl/ui/preferences
History
Eyck Jentzsch dc6577b2b9 Added preferences store and UI 2017-09-19 21:43:50 +02:00
..
RdlPreferencePage.java Added preferences store and UI 2017-09-19 21:43:50 +02:00