From 1d3dbdd4114f2007cc65c172d5a5229dc9290b97 Mon Sep 17 00:00:00 2001
From: Action Bot
Date: Mon, 11 Dec 2023 14:53:00 +0000
Subject: Version picker deployed for v1.98 docs to Github Pages
---
v1.98/code_style.html | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
(limited to 'v1.98/code_style.html')
diff --git a/v1.98/code_style.html b/v1.98/code_style.html
index 70323b243f..3bfc99b110 100644
--- a/v1.98/code_style.html
+++ b/v1.98/code_style.html
@@ -28,6 +28,7 @@
+
@@ -103,6 +104,18 @@
+
@@ -304,5 +317,7 @@ is left as an exercise for the reader!
+
+
-