mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Revision:
178:79309dc6340a
Parent:
168:9672193075cf
--- a/platform/PlatformMutex.h	Wed Nov 08 13:50:44 2017 +0000
+++ b/platform/PlatformMutex.h	Thu Nov 23 11:57:25 2017 +0000
@@ -1,5 +1,10 @@
 
 /** \addtogroup platform */
+/** @{*/
+/**
+ * \defgroup platform_PlatformMutex PlatformMutex class
+ * @{
+ */
 /* mbed Microcontroller Library
  * Copyright (c) 2006-2013 ARM Limited
  *
@@ -25,7 +30,6 @@
 typedef rtos::Mutex PlatformMutex;
 #else
 /** A stub mutex for when an RTOS is not present
- * @ingroup platform
 */
 class PlatformMutex : private mbed::NonCopyable<PlatformMutex> {
 public:
@@ -50,3 +54,6 @@
 
 #endif
 
+/**@}*/
+
+/**@}*/