]>
author | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Tue, 18 Jan 2000 12:19:41 +0000 (12:19 +0000) | ||
committer | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Tue, 18 Jan 2000 12:19:41 +0000 (12:19 +0000) | ||
commit | 81a4b27007241722d8d32a0282e5d38ca5f06b56 | |
tree | ef02422521bc03a382828fa3ec743e0880ed36a7 | tree | snapshot |
parent | 2c58b14e0146332a3e73d388eccd8f0136939e1e | 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