]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 4 Jul 2003 17:20:05 +0000 (17:20 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Fri, 4 Jul 2003 17:20:05 +0000 (17:20 +0000) | ||
commit | be8cc33e935746b9f95ac01fd267f521de267f76 | |
tree | 217cc71767f6776a9f3e8e0919ea0765adbbfadd | tree | snapshot |
parent | 375863d10225dc63db653785bd45ed36190eb8de | commit | diff |
deal.II/deal.II/source/dofs/dof_renumbering.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