]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Thu, 22 Jun 2006 14:53:35 +0000 (14:53 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Thu, 22 Jun 2006 14:53:35 +0000 (14:53 +0000) | ||
commit | 39d3498e2fd54c5e3ef831f4a8becff93320cefd | |
tree | 5d1004be986336e77fd5aaae2538d40d1b6432a6 | tree | snapshot |
parent | a125d16217d2c6dbd68936581ce0f76776147621 | 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