Update the www link to the Doxygen documentation in the dev guide
commitf03102fb09ef9ec8ad98807d7cc30d6670a101e1
authorCarsten Kutzner <ckutzne@gwdg.de>
Wed, 2 Oct 2019 14:09:45 +0000 (2 16:09 +0200)
committerArtem Zhmurov <zhmurov@gmail.com>
Wed, 2 Oct 2019 18:37:03 +0000 (2 20:37 +0200)
treee66237fb16cd7b8d5da894e3d2d0c2860e8562c6
parent79aab161c20acfe6741f9644b68603e2e1fce320
Update the www link to the Doxygen documentation in the dev guide

The doxygen manual seems to have been relocated from
http://www.stack.nl/~dimitri/doxygen/manual/index.html
to http://www.doxygen.nl/manual/

Change-Id: I321072065576c52a104a119abb5e05dc90eece3a
docs/dev-manual/doxygen.rst