Maxime Beauchemin b4cd57b7bd chore: remove unused files from root (#10318) ...

Also moving 2 bash scripts to the scripts/ folder.

This is part of a series of commit cleanup up the main page on GitHub,
mostly focused on the content of the README, but might as well groom the
root folder a bit

2020-07-14 22:40:34 -07:00

1.3 KiB

Executable File

Raw Blame History

View Raw