Link update and refresh.js

2023-05-20 18:11:14 +05:30
parent ceac36eca3
commit 9583a37c2a
31 changed files with 162 additions and 164 deletions
--- a/_site/command_line_switches.html
+++ b/_site/command_line_switches.html
@ -553,6 +553,7 @@ activation.</p></li>
 </div>
 </div>

+<script type="text/javascript" src="refresh.js"></script>
 <script type="text/javascript" src="links.js"></script>