]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 25 Jun 1999 12:11:28 +0000 (12:11 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 25 Jun 1999 12:11:28 +0000 (12:11 +0000) | ||
commit | 54f15d135226e852e1f945a82d5d08af9d5fe283 | |
tree | 88bfb6056602b3eae654fe3570b6ebf54f5b7ae0 | tree | snapshot |
parent | 941da645ef3fbdec2c316e33d1529b87ac3fa7a1 | commit | diff |
deal.II/common/Make.global_options | 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