gtk-doc-tools is dead in SimGrid now.
- Automatically extract all existing logging categories, and add the list
to the documentation (long standing one, to say the less)
(gras)
- Cleanup the known architecture table. Reorder the entries to group what
gtk-doc-tools is dead in SimGrid now.
- Automatically extract all existing logging categories, and add the list
to the documentation (long standing one, to say the less)
(gras)
- Cleanup the known architecture table. Reorder the entries to group what