Ondřej Surý d9b3909a21 Use pre-prepared long command line for better portability

2019-11-27 11:50:29 +01:00

..

bindkeys.pl

…

branchsync.sh

…

check-ans-prereq.sh

…

check-categories.sh

…

check-changes

…

check-cocci

…

check-includes.pl

…

check-instincludes.sh

…

check-pullups.pl

…

check-sources.pl

…

check-win32util-configure

…

checklibs.sh

…

commit-arm.sh

…

COPYRIGHT

…

COPYRIGHT.BRIEF

…

COPYRIGHT.BSDI

…

COPYRIGHT.NAI

…

COPYRIGHT.NOM

…

COPYRIGHT.PORTION

…

COPYRIGHT.TOP

…

copyrights

Use pre-prepared long command line for better portability

2019-11-27 11:50:29 +01:00

git-replay-merge.sh

Update the git-replay-merge to use the latest GitLab -o options

2019-10-31 09:18:01 -05:00

kit.sh

…

mandoc2docbook.pl

…

mdnbuildtest.sh

…

memleak.pl

…

merge_copyrights

…

mksymtbl.pl

…

models.c

…

nanny.pl

…

new-func

…

nt-kit

…

prepare-softhsm2.sh

…

spacewhack.pl

…

suppressions.txt

…

tabify-changes

…

update_branches

…

update_copyrights

…

update-drafts.pl

…

xc

…