]>
author | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 4 Mar 2008 21:08:20 +0000 (21:08 +0000) | ||
committer | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 4 Mar 2008 21:08:20 +0000 (21:08 +0000) | ||
commit | 4055c1415707630f8c8b71eddf59b286128b1e84 | |
tree | 32574675d1b743fa837f78512ce3630696d3be3d | tree | snapshot |
parent | 76b26c85718fcb19fc3222ca6208e19c710e3ab5 | 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