RHDEVDOCS 5745 Pipelines 1.13 version selector

mramendi · mramendi · commit e1ed94c3c50b · 2023-11-30T05:43:18.000Z
diff --git a/_templates/_page_openshift.html.erb b/_templates/_page_openshift.html.erb
@@ -224,6 +224,7 @@
               <%= distro %>
             </a>
             <select id="version-selector" onchange="versionSelector(this);">
+              <option value="1.13">1.13</option>
               <option value="1.12">1.12</option>
               <option value="1.11">1.11</option>
               <option value="1.10">1.10</option>
