]>
author | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000) | ||
committer | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 15 Sep 2009 18:00:49 +0000 (18:00 +0000) | ||
commit | 7c44ff7fa0024d8fea6005419ca824bd9af427eb | |
tree | e4cc2363230e458e361757fa267e60f51474ad78 | tree | snapshot |
parent | 0b600faa0a989ed20366e59219d87e07144424a9 | 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