Revision 897696260bd83e36ff0afbaf09a7cd00a4c33cf4

Committed on 03/11/2023 1:24 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Update Read the Docs configuration