tree ef089e9a90989817735a1bf8e670563481ee2c5e
parent 7e366fdc3478cf2563c45f8c6d7ce02eee20d8e5
author Philipp Wollermann <philwo@google.com> 1560803755 -0700
committer Copybara-Service <copybara-worker@google.com> 1560803823 -0700

Remove Ubuntu 14.04 support from documentation.

Remove mentions of Ubuntu 14.04, improve other Ubuntu installation steps.

Closes #8654.

PiperOrigin-RevId: 253650687