Index of /extensions/SemanticResultFormats/formats/filtered/resources/js/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[TXT]](/_autoindex/assets/icons/file-text.svg){kind=icon} ext.srf.filtered.js | 2023-02-04 18:17 | 59k |
 ext.srf.filtered.js.map | 2023-02-04 18:17 | 217k |
| ext.srf.filtered.leaflet.js | 2023-02-04 18:17 | 494k |
| ext.srf.filtered.select.js | 2023-02-04 18:17 | 144k |
| ext.srf.filtered.slider.js | 2023-02-04 18:17 | 83k |