John Ericson e51f736076 top-level: Deprecate top-level {build,host,target}Platform
I don't know when we can/should remove them, but this at least gets
people to stop using them. The preferred alternatives also date back to
17.09 so writing forward-compatable code without extra conditions is
easy.

Beginning with these as they are the least controversial.
2018-09-05 11:53:51 -04:00
..
2018-03-26 21:44:24 -04:00
2018-05-31 21:03:37 -04:00
2018-05-01 19:54:21 -04:00
2018-08-27 19:54:41 -04:00
2018-05-01 19:54:21 -04:00
2018-05-31 21:03:37 -04:00
2018-05-01 19:54:21 -04:00
2018-08-27 19:54:41 -04:00
2018-03-25 19:52:07 -04:00
2018-04-05 07:54:01 -04:00
2018-09-01 15:06:38 -04:00