]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sun, 18 Jun 2006 18:47:03 +0000 (18:47 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Sun, 18 Jun 2006 18:47:03 +0000 (18:47 +0000) | ||
commit | 7de854713000dc5feb76142a16626ef8c77d59fc | |
tree | c370ffd23b5df56a725e205a2b226deb8ed7d6a2 | tree | snapshot |
parent | 054fef2c28bea58bec4c0833c015176558362060 | commit | diff |
deal.II/common/Make.global_options.in | 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