[skip changelog] Always mention "user directory" along with "sketchbook" in documentation#816
Merged
per1234 merged 1 commit intoarduino:masterfrom Jul 10, 2020
per1234:sketchbook-and-user-directory
Merged
[skip changelog] Always mention "user directory" along with "sketchbook" in documentation#816per1234 merged 1 commit intoarduino:masterfrom per1234:sketchbook-and-user-directory
per1234 merged 1 commit intoarduino:masterfrom
per1234:sketchbook-and-user-directory