tools: move get-developers out of support/scripts/
authorYann E. MORIN <yann.morin.1998@free.fr>
Sat, 1 Jul 2017 14:31:02 +0000 (16:31 +0200)
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sat, 1 Jul 2017 15:53:04 +0000 (17:53 +0200)
commit27b7bd6ad04b34b9bbcce5fb9e29677bc2afc606
tree714a5d44dd2fa23605c3759baa1826176f325f4b
parentafff1ce5b0f01a681eeb2a74d26738954c0ca6fb
tools: move get-developers out of support/scripts/

Move it to the top-level tools/ directory, so that it is easier to
find for users.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Cc: Arnout Vandecappelle <arnout@mind.be>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
docs/manual/contribute.txt
support/scripts/get-developers [deleted file]
support/scripts/getdeveloperlib.py [deleted file]
tools/get-developers [new file with mode: 0755]
tools/getdeveloperlib.py [new file with mode: 0644]
tools/readme.txt