Index of /extensions/SemanticResultFormats/build/travis

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      install-mediawiki.sh    2020-08-27 10:44  647   
      install-semantic-res..> 2020-08-27 10:44  2.2K  
      run-tests.sh            2020-08-27 10:44  417