From f6f7149667941ebcdd58c2cafa3787a011c96e7d Mon Sep 17 00:00:00 2001 From: Hu Zhao <zhao@mbd.rwth-aachen.de> Date: Fri, 9 Dec 2022 13:10:15 +0100 Subject: [PATCH] docs: adjust punctuation characters for section header --- docs/examples/emulator/robustgasp/README.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/examples/emulator/robustgasp/README.rst b/docs/examples/emulator/robustgasp/README.rst index 20c0480..35be084 100644 --- a/docs/examples/emulator/robustgasp/README.rst +++ b/docs/examples/emulator/robustgasp/README.rst @@ -1,2 +1,2 @@ Emulator - RobustGaSP ---------------------- \ No newline at end of file +===================== \ No newline at end of file -- GitLab