Index of /~peterh/db2020/site2/assets/javascripts/lunr

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] tinyseg.min.js                            2021-03-16 11:10   18K  
[DIR] min/                                      2021-03-16 11:10    -
Apache Server at www04.pik-potsdam.de Port 80