Closed daurer closed 8 years ago
Changes in the documentation are not automatically pushed to spidocs, when pushing to the hummingbird repository.
it seems that it just takes some time for the spidocs to update automatically
Original comment by: Benedikt Daurer
Changes in the documentation are not automatically pushed to spidocs, when pushing to the hummingbird repository.