]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 18:04:16 +0000 (18:04 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 18:04:16 +0000 (18:04 +0000) | ||
commit | 984e796a1da68c0be44e932bbc40f1cb7d655303 | |
tree | 99f265cd30a8f4a756bebfbba071bcd6939a0378 | tree | snapshot |
parent | b5203343bd7d4e34546ce2701f4daeefc5081596 | commit | diff |
deal.II/common/scripts/diffsearch | 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