fix delete_edit optimize segv, add dump submenu/dump_undo, add dbl edge drag/drop...
[goodguy/cinelerra.git] / CineRmt / .settings /
drwxr-xr-x   ..
-rw-r--r-- 173 org.eclipse.jdt.core.prefs