Index of /extensions/SemanticResultFormats/formats/filtered/resources/js

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      ext.srf.filtered.js     2020-08-27 10:44   58K  
      ext.srf.filtered.js.map 2020-08-27 10:44  217K  
      ext.srf.filtered.lea..> 2020-08-27 10:44  493K  
      ext.srf.filtered.sel..> 2020-08-27 10:44  144K  
      ext.srf.filtered.sli..> 2020-08-27 10:44   83K