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
50f6e35dd5
|
21 hours ago | |
---|---|---|
conversions | 21 hours ago | |
misc | 1 day 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 | 7 years ago |
README
All useful GIT helper scripts should go here This includes scripts useful to the TDE developers for pushing batch changes, etc.