Fixed up pages
Failed
Whitney Armstrong
created pipeline for commit
f4d4889c
, finished
Related merge request !7 to merge pages
Unable to create pipeline
- pages job: undefined need: gen_doxygen