mipmip/home-manager-option-search
1
1
Fork 0
mirror of https://github.com/mipmip/home-manager-option-search.git synced 2024-08-17 02:50:28 +03:00
Code Issues Packages Projects Releases Wiki Activity

forcecache-update

Browse Source
This commit is contained in:
Pim Snel 2023-12-12 23:44:41 +01:00
parent 8aac0539ca
commit 2fd659f1dc
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

@ -153,6 +153,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"></script>
<script type="text/javascript" src="js/script.js?version=2023-12-12"></script>
</body>
</html>