rework proxy scaler, fix crop-gui coord, video_data tweak for proxy_format
[goodguy/cinelerra.git] / cinelerra-5.1 / ffmpeg / video / pgm.pgm
cinelerra-5.1/ffmpeg/video/pgm.pgm