dev.repo.or.cz
/
girocco.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
gitweb: update index text
[girocco.git]
/
toolbox
/
trash-project.pl
blob
bbf7c4474163da6da91566f2a004798c095c858f
1
#!/usr/bin/perl
2
# replaced by projtool.pl remove command
3
exec
"__BASEDIR__/toolbox/projtool.pl"
,
'remove'
,
@ARGV
;
4
die
"exec failed: $!
\n
"
;