Re-add a colon I unintentionally removed a few revisions ago.
authorFabian Keil <fk@fabiankeil.de>
Sat, 14 Jun 2008 13:45:22 +0000 (13:45 +0000)
committerFabian Keil <fk@fabiankeil.de>
Sat, 14 Jun 2008 13:45:22 +0000 (13:45 +0000)
commite982673bcc051c1e548f7b40d7b66f5f3514a757
treedd38ff8b38253e85cf7a68552473a59a3c021db2
parent24819687ad6f130c6966ac8995935751c6b607e0
Re-add a colon I unintentionally removed a few revisions ago.
doc/source/user-manual.sgml