]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sun, 6 Mar 2005 02:01:42 +0000 (02:01 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sun, 6 Mar 2005 02:01:42 +0000 (02:01 +0000) | ||
commit | 75e15a67581ace368e6187f9fb63428d22ace6ee | |
tree | 0720ff7cecb60f4af90c9e018b0884a8e2023946 | tree | snapshot |
parent | 1e41d9f7722804c6766f35f5d12c2bdf177ae223 | commit | diff |
deal.II/base/include/base/path_search.h | 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