diff scripts/play-video.py @ 700:0f1b6907643a dev

merged improvement from stable
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Fri, 17 Jul 2015 14:33:01 -0400
parents 51269511229b
children e73e7b644428
line wrap: on
line diff