Skip to content
Make Docs

Merge branch 'topic/vadim-license' into 'master' #215

Sign in to view logs

Merge branch 'topic/vadim-license' into 'master'

Merge branch 'topic/vadim-license' into 'master' #215

Triggered via push July 25, 2023 08:48
@adacore-botadacore-bot
pushed 0b9a22e
master
Status Success
Total duration 1m 10s
Artifacts –

gnatdoc.yml

on: push
Docs
58s
Docs
Fit to window
Zoom out
Zoom in