]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 14 Sep 2005 11:01:44 +0000 (11:01 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 14 Sep 2005 11:01:44 +0000 (11:01 +0000) | ||
commit | 3905267d51299e91d1456f205128b32b52f31e48 | |
tree | 4f8cf9be9fe98b28ceb293d6ad3e8954ad0389db | tree | snapshot |
parent | fbe9087e2148c494052d8a506d614072a58b45e5 | commit | diff |
deal.II/base/source/path_search.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