diff options
author | 2018-07-17 09:02:15 -0700 | |
---|---|---|
committer | 2018-07-17 09:03:59 -0700 | |
commit | 7c8607eb87a85700016e4ba0f1c2fb6070b83e4d (patch) | |
tree | 0fdbbbb3b17d180dcaa09b06567d24a7f36d6b27 /.gitattributes | |
parent | 9de215db31bc6e8f4becf7058d33fe1d82b0ac9f (diff) |
Adds documentation for community supported platforms
Add instructions for community maintained packages.
Ref : Github issue #5332
@jin Is this how you want it?
Closes #5582.
PiperOrigin-RevId: 204919383
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions