Skip to content

Add readthedocs config, needed for a while now#189

Merged
mih merged 1 commit intomainfrom rtdDec 8, 2023

Commits

Commits on Dec 8, 2023