Commit 945a6c3b authored by André Anjos's avatar André Anjos

Merge branch 'update_documentation_link' into 'master'

Make the documentation link configurable

See merge request !271
parents c0413383 3ef3532a
Pipeline #25969 canceled with stages
in 11514 minutes and 52 seconds