tree ac339bf3b6980c3ecef1090710feac413c506587
parent 7cedefe2fbd4d68d0e17cf643e23fcd6d75a6a78
author David Horstmann <david.horstmann@arm.com> 1678811916 +0000
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690985192 +0200

Add configuration for Read The Docs

Signed-off-by: David Horstmann <david.horstmann@arm.com>