From fcd1f70709a193338f818adff2b3b1fa08e307ab Mon Sep 17 00:00:00 2001 From: Adrien Gougeon Date: Tue, 11 Apr 2023 15:44:56 +0200 Subject: [PATCH] add operation to plugin doc --- docs/source/Plugins.rst | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/source/Plugins.rst b/docs/source/Plugins.rst index 45112232bc..2fae39481b 100644 --- a/docs/source/Plugins.rst +++ b/docs/source/Plugins.rst @@ -166,6 +166,11 @@ Battery .. doxygengroup:: plugin_battery +.. _plugin_operation: +Operation +=========== + +.. doxygengroup:: plugin_operation .. LocalWords: SimGrid -- 2.20.1