mipmip/home-manager-option-search
1
1
Fork 0
mirror of https://github.com/mipmip/home-manager-option-search.git synced 2024-10-05 13:17:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

use other script version

Browse Source
This commit is contained in:
Pim Snel 2024-03-23 18:50:20 +01:00
parent de70c459af
commit e142414ae5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
index.html
View File

@ -168,6 +168,6 @@
<!--<script type="text/javascript" src="https://rawgit.com/kristopolous/Porter-Stemmer/master/PorterStemmer1980.min.js"></script>-->
<!--<script type="text/javascript" src="https://unpkg.com/js-search@1.3.7/dist/umd/js-search.min.js"></script>-->
<script type="text/javascript" src="https://unpkg.com/js-search@2.0.1/dist/umd/js-search.min.js"></script>
<script type="text/javascript" src="js/script.js?version=2023-12-12"></script>
<script type="text/javascript" src="js/script.js?version=2024-03-23"></script>
</body>
</html>