]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 10 Jul 2002 08:31:38 +0000 (08:31 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 10 Jul 2002 08:31:38 +0000 (08:31 +0000) | ||
commit | c2d731657f4178257a6ce2fb92ed38f845dd84d5 | |
tree | 208ff5697d9bc59c03628272e9987c2418aae930 | tree | snapshot |
parent | 8a5944f0c1e7e00f7521c4d6ff9c78b6e48a8ec3 | commit | diff |
deal.II/configure.in | 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