diff scripts/play-video.py @ 681:acce61a1edc8 dev

merged bug fix with stable
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Fri, 05 Jun 2015 02:25:50 +0200
parents 51269511229b
children e73e7b644428
line wrap: on
line diff