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.
Michele Calgaro
0e60f5c683
|
10 months ago | |
---|---|---|
conversions | 3 years ago | |
misc | 3 years ago | |
README | 13 years ago | |
README.GIT | 12 years ago | |
commit_all_submodules | 12 years ago | |
create_all_tarballs | 1 year ago | |
create_tarball | 1 year ago | |
switch_all_submodules_to_head_and_clean | 4 years ago | |
update_all_submodules | 6 years ago |
README
All useful GIT helper scripts should go here This includes scripts useful to the TDE developers for pushing batch changes, etc.