Skip to main content

Browse the archive

Revision 6454112f447e0ea27cfbbdf94f3e655029f7d37a authored by Valeriu Predoi on 27 June 2023, 11:53:05 UTC, committed by Bouwe Andela on 04 July 2023, 12:03:14 UTC 
Remove jquery sphinx extension from docs config since new theme doesn't use it (#3251)
 
 
 
 
 1 parent   2dbc2cf 
  
 
 
 
  
 
   Raw File             
 
 
   
   
 
 MANIFEST.in 
 
 
 
exclude .*
prune .*
prune doc
include .zenodo.json

 
 
 
  
 
   
 
   
 
 
     
  back to top