]>
author | maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sat, 22 Sep 2012 08:59:06 +0000 (08:59 +0000) | ||
committer | maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sat, 22 Sep 2012 08:59:06 +0000 (08:59 +0000) | ||
commit | ed4807b111d4c86b930c235a3fa985aed0e0661e | |
tree | 2b390de6e524c5e02cd9a29ba2761fedb05e3230 | tree | snapshot |
parent | a995e0c783478a80efaee15f8ff6f0c353a9b6db | commit | diff |
deal.II/config/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