Michael Friedrich 4a8f258d52 Move dev/ to tools/docker
refs #6481
2014-06-13 20:07:36 +02:00

4 lines
53 B
Bash
Executable File

#!/bin/sh
cd `dirname -- $0` || exit 1
rm -Rf .build