]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 18:20:52 +0000 (18:20 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 18:20:52 +0000 (18:20 +0000) | ||
commit | b3112cd8e3a764bb82006689bd4e1dc1f0adf39e | |
tree | a622fc73ecf01724688551e42282bd87e5121bdf | tree | snapshot |
parent | 7916ee4b6611e163b315b0c8776cea53982fc8ed | 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