Skip to content
Snippets Groups Projects

[ci docs] Account for gridtk which has a non-standard name

Merged [ci docs] Account for gridtk which has a non-standard name
docs into master
Merged Amir MOHAMMADI requested to merge docs into master