@JulienBortolussiAda
JulienBortolussiAda Merge branch 'mr/bortolussi/add_logo_in_doc' into 'master'
5730f5f Nov 6, 2023
Merge branch 'mr/bortolussi/add_logo_in_doc' into 'master' 
Add AdaCore logo in the docs

See merge request eng/toolchain/gnatcoll-db!1
5730f5f