]>
author | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 17 Dec 2013 08:41:52 +0000 (08:41 +0000) | ||
committer | bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 17 Dec 2013 08:41:52 +0000 (08:41 +0000) | ||
commit | 5eecd57a2719bacae81a05295b12fbedef8c35c3 | |
tree | 32dfe7a8d9aa3591033b29e0431fc0c9b1553c73 | tree | snapshot |
parent | 49372c56f589642c39ffe5fbd143d0c4d4dc0a91 | commit | diff |
deal.II/source/grid/grid_tools.cc | 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