remove gen-doc file from git index
Failed
Benjamin Gallois
created pipeline for commit
fb67c41a
, finished
Related merge request !254 to merge 183-refac-doc
4 minutes 59 seconds, queued for 4 seconds