[skip changelog] Add documentation for library components of the gRPC interface#692

Merged

rsora merged 7 commits intoarduino:masterfrom

per1234:library-grpc-documentation

Jun 18, 2020

Commits on Jun 11, 2020

[skip changelog] Add documentation for library components of the gRPC interface
per1234
committed
Correct documentation re: relative vs absolute paths provided by Library message fields

per1234
and
Roberto Sora
committed
Use preferred "platform" term in gRPC interface documentation

per1234
and
Roberto Sora
committed
Fix formatting of gRPC interface documentation
per1234
committed
Fix incorrect documentation for task_progress field of LibraryUninstall response
per1234
committed
Document that library version is the key of the releases map
per1234
committed
Update gRPC interface code comments
per1234
committed