tree e0a66d7c0a1c858a7f0b8415eb7e22cc31bd9b35
parent 4f50f54f1418b57e7f21693febfd85d61825d7ae
author Nitzan Gur-Furman <nitzan@google.com> 1673426018 +0100
committer Nitzan Gur-Furman <nitzan@google.com> 1673426052 +0000

Documentation formatting fix.

Release-Notes: skip
Change-Id: Ib7ebc0bfbc4ba368fab20c3e7a86abf8d005799d