]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 3 Mar 1999 15:04:08 +0000 (15:04 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Wed, 3 Mar 1999 15:04:08 +0000 (15:04 +0000) | ||
commit | 3ddf5e2031062a96506f4ceb4b47e8f4631c7412 | |
tree | 5a6ee674751884205f21b68c40c867077e2d4b45 | tree | snapshot |
parent | d06d138923cf18b6d11976f6b753905edf960b71 | commit | diff |
deal.II/doc/auto/scripts/kdoc/kdocHTML.pm | 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