]> https://gitweb.dealii.org/ - dealii.git/commit
Guido has a habit of prepending local hrefs with http: (but no //), so
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Fri, 23 Nov 2001 09:11:19 +0000 (09:11 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Fri, 23 Nov 2001 09:11:19 +0000 (09:11 +0000)
commit3bf63ee441ba551214cee0a614249cbff9379fda
tree66b985d17c9128f3200a3bdb40caa38093be6f43
parent674de3b0208ebd862d89c44cffc0fd5bba33da14
Guido has a habit of prepending local hrefs with http: (but no //), so
check this case as well.

git-svn-id: https://svn.dealii.org/trunk@5259 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/doc/auto/scripts/validate-xrefs.pl

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.