Various scripts to assist TDE developers
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Go to file
Michele Calgaro 9df5b598ec
Removed style scripts, they are still available on master branch.
3 years ago
README Add scripts directory 11 years ago
README.GIT Update README.GIT file with new GIT tutorial location 10 years ago
commit_all_submodules Updating git scripts 10 years ago
create_all_tarballs Update create_tarball and create_all_tarballs 5 years ago
create_tarball create_tarball: Modify the tarball creation so that it is reproducible. 3 years ago
switch_all_submodules_to_head_and_clean Update switch_all_submodules_to_head_and_clean 4 years ago
update_all_submodules Update update_all_submodules 5 years ago


All useful GIT helper scripts should go here

This includes scripts useful to the TDE developers for pushing batch changes, etc.