]>
author | maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 26 Sep 2012 07:54:44 +0000 (07:54 +0000) | ||
committer | maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 26 Sep 2012 07:54:44 +0000 (07:54 +0000) | ||
commit | f73ddfc8c56a35c4671a48dee89dff9f57dcb750 | |
tree | 29d7908e9d6a144ba09ff5e596aa5558c737642c | tree | snapshot |
parent | f6a630fe8cb1e436316187cfd5fe2093dd4a6c84 | 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