Merge branch 'master' into rorcz

[girocco.git] / toolbox / trash-project.pl

#!/usr/bin/perl
# replaced by projtool.pl remove command
exec "__BASEDIR__/toolbox/projtool.pl", 'remove', @ARGV;
die "exec failed: $!\n";