]>
author | Timo Heister <timo.heister@gmail.com> | |
Fri, 1 Mar 2013 05:18:30 +0000 (05:18 +0000) | ||
committer | Timo Heister <timo.heister@gmail.com> | |
Fri, 1 Mar 2013 05:18:30 +0000 (05:18 +0000) | ||
commit | f63d9699883aaba63f92717784ed8dfaa81ee5ad | |
tree | 940cf9987461d72e2fd22fe3c2a3bfd07c3c7fdf | tree | snapshot |
parent | 6d76598ad796e9facd61a53aaf022f0356c1ae9c | 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