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.
Slávek Banko
ee19be5f9e
|
3 years ago | |
---|---|---|
astyle | 12 years ago | |
conversions | 3 years ago | |
README | 13 years ago | |
README.GIT | 12 years ago | |
commit_all_submodules | 12 years ago | |
create_all_tarballs | 3 years ago | |
create_tarball | 4 years 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.