]>
author | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Mon, 13 Jun 2005 10:04:52 +0000 (10:04 +0000) | ||
committer | Ralf Hartmann <Ralf.Hartmann@dlr.de> | |
Mon, 13 Jun 2005 10:04:52 +0000 (10:04 +0000) | ||
commit | ba3504e3385e3dbb2375c72cba811a3334459c1f | |
tree | 44802ec1be382f2010d0e17ebd14cc6c830900bf | tree | snapshot |
parent | b6aae9a6e70b7b932aa49edd26560afa228ea8b7 | 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