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.