David Lechner adf6e03bc9 doc: open external links in a new window ...

This adds a hack to open external links in a new window. Requires Sphinx v1.8.

2021-01-26 08:30:48 +01:00

..

custom.js

doc: open external links in a new window

2021-01-26 08:30:48 +01:00