]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 10 Jul 2002 08:14:27 +0000 (08:14 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 10 Jul 2002 08:14:27 +0000 (08:14 +0000) | ||
commit | 8a5944f0c1e7e00f7521c4d6ff9c78b6e48a8ec3 | |
tree | eff5f9955a9d5b2f17640f2033e980de537782a9 | tree | snapshot |
parent | a67c35d8caf68a73d01bb4674621881b557cd2f2 | 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