Fergus McDowall 81cc06f4f8 housekeeping: change git clone URL (#5612) ...

When `git clone` -ing from github, `https` URLs are (as far as I know) functionally equivalent yet less error prone.

2019-09-26 19:47:29 -07:00

..

scripts.md

Change Swagger-UI -> Swagger UI in docs (#5479)

2019-07-19 09:22:45 -06:00

setting-up.md

housekeeping: change git clone URL (#5612)

2019-09-26 19:47:29 -07:00