Ivan Grokhotkov 5f9ac5fadb Merge branch 'doc/freertos_port_comments' into 'master'
freertos: Update comments in "port" section (portMUX/etc)

See merge request !1431
2017-11-07 19:31:21 +08:00
..
2017-11-06 15:31:01 +08:00
2016-08-17 23:08:22 +08:00
2016-08-17 23:08:22 +08:00
2017-10-18 14:19:18 +08:00
2016-08-17 23:08:22 +08:00
2016-08-17 23:08:22 +08:00