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

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