]>
author | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Fri, 4 Jun 2004 12:43:54 +0000 (12:43 +0000) | ||
committer | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Fri, 4 Jun 2004 12:43:54 +0000 (12:43 +0000) | ||
commit | 33c004335c8fbeed055ac264b133d6e01fa86d5f | |
tree | 3d9b18c63c74c071b29711c4afea999c7ee3545d | tree | snapshot |
parent | 9eea0df4ba9041c788b2f52fee6b5ee3119fab31 | commit | diff |
deal.II/common/Make.global_options.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