Joachim Wuttke (h)
b2a798fe32
Help: expand "ver", "pol", ...
...
No need to save a few characters on formal parameters.
Use this occasion to correct $<PLATFORM_ID:comp>:
the parameter is a platform_id, not a compiler_id.
2018-11-06 12:55:23 +01:00
..
2018-10-29 09:30:25 -04:00
2018-09-21 20:19:31 +00:00
2018-08-05 19:33:28 +10:00
2018-10-07 17:03:36 +11:00
2018-09-25 06:52:35 -04:00
2018-11-06 12:55:23 +01:00
2018-10-18 20:32:09 +02:00
2018-10-19 07:25:34 +11:00
2018-10-25 15:44:59 +02:00
2018-09-17 10:05:30 +02:00
2018-10-25 15:44:59 +02:00
2018-10-29 09:30:25 -04:00
2018-11-01 13:16:36 -04:00
2018-10-29 09:30:25 -04:00
2018-06-21 11:00:25 -04:00