- * A mallocator allows you to recycle the objects you don't need anymore
- * instead of freeing them. A mallocator is a stack which stores the unused objects
- * or a given type. If you often need to malloc() / free() objects of a certain
- * type, you should use a mallocator and call \a xbt_mallocator_get() and
- * \a xbt_mallocator_release() instead of malloc() and free().
+ * A mallocator allows you to recycle the objects you don't need anymore instead of freeing them. A mallocator is a
+ * stack which stores the unused objects or a given type. If you often need to malloc() / free() objects of a certain
+ * type, you should use a mallocator and call @a xbt_mallocator_get() and @a xbt_mallocator_release() instead of
+ * malloc() and free().