version update, build tweaks 2020-07
[goodguy/cinelerra.git] / cinelerra-5.1 / info /
drwxr-xr-x   ..
-rw-r--r-- 45380 plugins.txt