tree f985a2285a7aaa1ad12c38dac4f6f2234fb0f422
parent ce992c2ca398c7838c8bb98e5f8f364cd9cdecbc
author Karol Gugala <kgugala@antmicro.com> 1729005224 +0200
committer Karol Gugala <kgugala@antmicro.com> 1729005895 +0200

readthedocs: update config with OS definition

Signed-off-by: Karol Gugala <kgugala@antmicro.com>