Skip to content
Snippets Groups Projects
Commit f87bcf3c authored by erwan's avatar erwan
Browse files

Doc: some enhancements 

also, use (back) the odoc make rule now the image has been updated
parent 23c04396
No related branches found
No related tags found
No related merge requests found
Pipeline #31462 failed
Stage: build
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 223 additions and 907 deletions
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment