]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 6 Mar 2000 17:11:53 +0000 (17:11 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Mon, 6 Mar 2000 17:11:53 +0000 (17:11 +0000) | ||
commit | 5806477cab2e0b25aba455ef0c6eee6c8809b36c | |
tree | 6d15558cae620fb3c203a13f0bb2e5d8d0077e30 | tree | snapshot |
parent | 7fb942a74e775177d216327ebb66d8c48ea9eae0 | commit | diff |
deal.II/base/source/function_lib.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