platypus_script revision 685e0d9d166d4acd6c36d2c5a7cc17a42ccbb38e
#!/bin/bash
export PATH=`pwd`/uDrawGraph-3.1/bin:$PATH
export HETS_LIB=`pwd`/Hets-lib
./hets "$@"