4 Commits

Include renames

Author	SHA1	Message	Date
Alejandro Pauly	6125971c71	Move installation of curl in ubuntu18 to last since before it was removed from there it was working.	2020-01-12 19:24:04 -05:00
Rammus Xu	fef4798069	Remove duplicate install curl on linux 18.04	2019-12-23 18:11:55 +08:00
Shady Ibraheem	1dcd276b1e	Another mop up commit to add missing changes from the last mop-up.	2019-12-13 11:57:37 -05:00
Shady Ibraheem	f396818e23	Inital commit.	2019-11-15 15:38:01 -05:00