tree fea98a145b1d21111a9ad90690ac09bf8db0379d
parent 73b226647f0d1d402a5683e1579a7a4bc9e118f4
author Marian Harbach <mharbach@google.com> 1575997291 +0100
committer Marian Harbach <mharbach@google.com> 1576014880 +0100

Make all external links in the documentation open in a new window

To make it easier to stay on track when reading documentation, I
added ",role=external,window=_blank" to all links in the
documentation directory that were not pointing at another piece of documentation.

Change-Id: I94bf254c90f8ebce067c765be0a2932b755a045a