use /usr/bin/env instead of /bin/env
authorTobias Hintze <th-git@kogmbh.com>
Fri, 18 Nov 2011 22:40:09 +0000 (23:40 +0100)
committerTobias Hintze <th-git@kogmbh.com>
Fri, 18 Nov 2011 22:40:09 +0000 (23:40 +0100)
commit25a2053d569aa382195b62f4d8f7a92bb11a2f3b
tree7a826bc90d8e7cec8006cdbc869aa82ba9a00655
parent1c440f0699bd0db6cece3366c23c8d935f4fb816
use /usr/bin/env instead of /bin/env
simplerevisionserver/webdavserver.py