PR #1243 Adds FLIPs link to main RST nav.

Adds FLIPs link to main RST nav. #1243

andsteing merged 1 commit into google:master from andsteing:flip

Adds FLIPs link to main RST nav.

688f0b5a

google-cla added cla: yes

andsteing requested a review from

marcvanzee 4 years ago

andsteing assigned

andsteing 4 years ago

marcvanzee commented on 2021-04-13

marcvanzee requested a review from

marcvanzee 4 years ago

marcvanzee approved these changes on 2021-04-13

andsteing added pull ready

andsteing removed pull ready

andsteing merged f704d531 into master 4 years ago

Reviewers

marcvanzee

Assignees

andsteing

Labels

cla: yes

Milestone

No milestone