g0tmi1k e1a47cd124 Set permissions on ./tools/*.{rb,exe,sh}

2018-02-09 15:13:09 +00:00

..

add_pr_fetch.rb

Rename add-pr-remote.rb to add_pr_fetch.rb

2015-03-24 17:05:43 -05:00

find_release_notes.rb

Set permissions on ./tools/*.{rb,exe,sh}

2018-02-09 15:13:09 +00:00

import-dev-keys.sh

Add a bash script to import dev keys

2015-05-13 10:29:55 -05:00

msftidy.rb

remove more checks

2018-01-22 16:40:30 -06:00

pre-commit-hook.rb

Move msftidy back to tools/dev

2015-11-05 13:56:28 -06:00

set_binary_encoding.rb

chmod +x tools/dev/set_binary_encoding.rb

2015-03-24 17:10:31 -05:00

sign-dev-keys.sh

Import, sign, and publish signed dev keys

2016-07-06 10:33:02 -05:00

update_gem_licenses.sh

add LICENSE_GEMS generation tool, update licenses

2017-05-10 16:19:03 -05:00