| commit | f654c1c38394c7f94cfe4958f850181b2d8e08bb | [log] [tgz] |
|---|---|---|
| author | Johannes Gijsbers <jlg@dds.nl> | Tue Dec 21 21:14:42 2004 +0000 |
| committer | Johannes Gijsbers <jlg@dds.nl> | Tue Dec 21 21:14:42 2004 +0000 |
| tree | a8fc7c4671306c4dfb0aef40eed734e8b6de4074 | |
| parent | 7caafe7018ddfdc68572f4d4ef3b09aab81b05a6 [diff] |
Add accidentally removed \end{description} back in.