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

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