]>
author | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 2 Jun 2010 14:53:06 +0000 (14:53 +0000) | ||
committer | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 2 Jun 2010 14:53:06 +0000 (14:53 +0000) | ||
commit | 1efae159d82cab8aa904284a5c5f87b797684b48 | |
tree | 1388247656426fe6d73b3195ae588bc562a65236 | tree | snapshot |
parent | 8b6ca1f8af21e6aca967ea97aeb91d027a9ebfff | 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