]> https://gitweb.dealii.org/ - dealii-svn.git/commit
Guido has a habit of prepending local hrefs with http: (but no //), so
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 23 Nov 2001 09:11:19 +0000 (09:11 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 23 Nov 2001 09:11:19 +0000 (09:11 +0000)
commit0639d34bce09a9ebf981094733a799faa8471989
tree204c9f979c8d116f96c4081f85a36e2a81388961
parent9eac3886abfbcd03413f4b1d7e54417c875627e0
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.