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
Girocco/Config.pm: update for dev.repo.or.cz support
[girocco.git]
/
toolbox
/
update-all-config.sh
blob
5a415dbbb20ec4c13c0c87d5997cef71fbdcdfe5
1
#!/bin/sh
2
#
3
# update-all-config - Update all out-of-date config
4
# The old update-all-config.sh has been replaced by update-all-config.pl;
5
# it now simply runs that.
6
7
exec
@basedir@
/
toolbox
/
update-all-config.pl
"$@"