]>
author | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 2 Jun 2010 16:23:31 +0000 (16:23 +0000) | ||
committer | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 2 Jun 2010 16:23:31 +0000 (16:23 +0000) | ||
commit | 9f4f487cf7c678cce44188cc62891f0c6c54de1b | |
tree | f87ded232b3fd8326192e031f1592b3c73a2ac0a | tree | snapshot |
parent | 1efae159d82cab8aa904284a5c5f87b797684b48 | commit | diff |
deal.II/common/scripts/validate-xrefs.pl | diff | blob | history |
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