1 Commits

Author SHA1 Message Date
Silvano Cerza
85491433c6
ci: Add script to delete documentation that don't exist anymore (#7209)
* Add script to delete documentation that don't exist anymore

* Remove prints
2024-02-28 11:02:59 +01:00