]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 3 Sep 1999 23:06:05 +0000 (23:06 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 3 Sep 1999 23:06:05 +0000 (23:06 +0000) | ||
commit | 738d584df1c0a52347614609cb7f6043fbe009e0 | |
tree | 0c6814ea04ad3b3a648b5ac2c0832271d413b3e8 | tree | snapshot |
parent | 17c169c14c8fe356fd988e7d96dcd9058186fb4d | 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