Update pulse width to 100ms
[hdmi-switcher.git] / make-dist.sh
2015-04-14  Cameron BallReboot if required after update
2015-04-14  Cameron BallQuick and dirty script to build files for USB update.