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.
Timothy Pearson
9220d2488d
|
12 years ago | |
---|---|---|
README | 13 years ago | |
README.GIT | 12 years ago | |
commit_all_submodules | 12 years ago | |
switch_all_submodules_to_head_and_clean | 12 years ago | |
update_all_submodules | 12 years ago |
README
All useful GIT helper scripts should go here This includes scripts useful to the TDE developers for pushing batch changes, etc.