]>
author | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 18 May 1999 15:04:53 +0000 (15:04 +0000) | ||
committer | guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d> | |
Tue, 18 May 1999 15:04:53 +0000 (15:04 +0000) | ||
commit | 8ab0c161f13a0526e92f4d27521bda687f427e6b | |
tree | 7aba06338cedde3140b2d0574d3eb9633bcba7cf | tree | snapshot |
parent | 103ed4d82f7b50d23001297a08cb1d3e7c62752d | commit | diff |
deal.II/doc/parser/dealparse.l | diff | blob | history | |
deal.II/doc/parser/dealparse.y | 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