[skip changelog] Use relative links for documentation pages#799
Merged
per1234 merged 1 commit intoarduino:masterfrom Jul 8, 2020
per1234:relative-docs-links
Merged
[skip changelog] Use relative links for documentation pages#799per1234 merged 1 commit intoarduino:masterfrom per1234:relative-docs-links
per1234 merged 1 commit intoarduino:masterfrom
per1234:relative-docs-links