diff scripts/play-video.py @ 703:bee0e7407af7 dev

corrected compilation bug on linux
author Nicolas Saunier <nicolas.saunier@polymtl.ca>
date Tue, 21 Jul 2015 15:52:43 -0400
parents 51269511229b
children e73e7b644428
line wrap: on
line diff