# HG changeset patch # User Nicolas Saunier # Date 1373494965 14400 # Node ID 15fac9c45feb7cab432fb53ff224e1e9ddc1debe # Parent 41e31d8c4383beaba5a5ad59db1722d5fd9ff834 script is executable diff -r 41e31d8c4383 -r 15fac9c45feb scripts/play-video.py