sketcher rework, plugindialog selection fixes, new ffmpeg plugin.opts/plugin info...
[goodguy/cinelerra.git] / CineRmt / .settings / org.eclipse.jdt.core.prefs
2018-10-30 Good Guyinitial commit