]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 17:48:50 +0000 (17:48 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 19 Jun 2006 17:48:50 +0000 (17:48 +0000) | ||
commit | b5203343bd7d4e34546ce2701f4daeefc5081596 | |
tree | 1ce56aa87f94eb0250cabdc895c38aefd6c0b80c | tree | snapshot |
parent | 866061cd6c151ffc0af00907fb7291f6c73df5e3 | commit | diff |
deal.II/common/scripts/diffsearch | [new file with mode: 0755] | blob |
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