Skip to content

Reintroducing git version number in doc index

Jérôme Duriez requested to merge gitVersion into master

Should solve #258 (closed). Before:

image

(at https://yade-dem.org/doc/)

Merge request reports