Increase ethernet irq priority.
[bertos.git] / wizard / copytree.py
index 6cd3e52dbaf7205393c187e2b16e8bbcc1a43648..884e81e16861275cba3051e469c8658075ec45ea 100644 (file)
 #
 # Copyright 2008 Develer S.r.l. (http://www.develer.com/)
 #
-# $Id$
 #
 # Author: Lorenzo Berni <duplo@develer.com>
 #
 
 import os
+import sys
 import fnmatch
 from shutil import *