2 Commits

Author	SHA1	Message	Date
Diego von Deschwanden	42fbd527f3	Fix links to secure sites (#18745)	2020-07-22 22:20:14 -05:00
Scott Lahteine	6bead0c1b0	Shorter paths to HAL, ExtUI (#17156)	2020-03-13 16:29:29 -05:00