Indexation started on 2023-02-02 10:04:05 crashed on 2023-02-02 10:07:55 (all times in UTC)

 
  Name Size Date (UTC) Last indexed Description
  Name Size Date (UTC) Last indexed Description
folder Parent directory - 2022-11-25 09:24:01  
folder projects/ - 2022-08-21 01:08:08
folder release_notes/ - 2022-08-21 01:08:08  
file applications-using-marble.txt 503 bytes 2022-08-21 01:08:08 -  
file dgml2.dtd 1546 bytes 2022-08-21 01:08:08 -  
file dgml2.txt 12764 bytes 2022-08-21 01:08:08 -  
file FAQ 49 bytes 2022-08-21 01:08:08 -  
file layermanagement.txt 6154 bytes 2022-08-21 01:08:08 -  
file paintingmaps.txt 3621 bytes 2022-08-21 01:08:08 -  
file Programmers-manual.txt 4001 bytes 2022-08-21 01:08:08 -