3 Commits

Author	SHA1	Message	Date
Diego von Deschwanden	42fbd527f3	Fix links to secure sites (#18745)	2020-07-22 22:20:14 -05:00
Fabio Santos	25c7c43a82	Add SERIAL_FLOAT_PRECISION option (#18367)	2020-06-22 21:12:45 -05:00
Scott Lahteine	6bead0c1b0	Shorter paths to HAL, ExtUI (#17156)	2020-03-13 16:29:29 -05:00