| commit | f955412130174e6c2e40f807e2fd12bb6344d2ec | [log] [tgz] |
|---|---|---|
| author | Gustavo Niemeyer <gustavo@niemeyer.net> | Tue Nov 26 18:14:35 2002 +0000 |
| committer | Gustavo Niemeyer <gustavo@niemeyer.net> | Tue Nov 26 18:14:35 2002 +0000 |
| tree | 271e70d0e995931b5a5f0275c519d3638a0f9d7c | |
| parent | ac74f5d44b358b331fc46c7ad7f92698e20510f2 [diff] |
* Doc/ref/ref5.tex Fixed minor bug preventing documentation compilation.