Index of /extensions/SemanticResultFormats/formats/JitGraph/images

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      progressbar.gif         2020-08-27 10:44  120   
      progressbg_black.gif    2020-08-27 10:44  1.6K  
      progressbg_green.gif    2020-08-27 10:44  1.3K  
      progressbg_orange.gif   2020-08-27 10:44  1.3K  
      progressbg_red.gif      2020-08-27 10:44  1.3K  
      progressbg_yellow.gif   2020-08-27 10:44  1.3K