Files
sphinx/doc
Jakob Lykke Andersen 56002be5e1 rename intersphinx_disabled_{refs -> reftypes}
And change format for domains to {name}:*
2021-10-31 13:56:26 +01:00
..
2021-09-08 02:15:25 +02:00
2008-06-23 12:35:22 +00:00
2021-09-08 02:15:25 +02:00