GithubStar/dev

mirror of https://github.com/RangeNetworks/dev.git synced 2026-10-17 05:06:58 +08:00

T

Michael Iedema e68fe46bd6 add tag renaming script

2014-03-24 12:30:46 +01:00

.gitignore

pull all repos instead of subset, ignore some stuff

2014-03-24 11:43:09 +01:00

build.sh

clone, pull and build all working

2014-03-22 16:50:12 +01:00

clonepull.sh

pull all repos instead of subset, ignore some stuff

2014-03-24 11:43:09 +01:00

LICENSE

clone, pull and build all working

2014-03-22 16:50:12 +01:00

README.md

added basic description

2014-03-21 17:11:44 +01:00

renametag.sh

add tag renaming script

2014-03-24 12:30:46 +01:00

README.md

Development Environment Tools

A collection of tools to make working with the numerous software components as painless as possible. Why wiki when you can script?!

If there's a task that annoys you when working with the code, open an issue to suggest an improvement. Or, better, send a pull request to get your automation included in the project.