faq: fix typo.
authorNicolas George <nicolas.george@normalesup.org>
Tue, 24 Jan 2012 15:03:09 +0000 (16:03 +0100)
committerNicolas George <nicolas.george@normalesup.org>
Tue, 24 Jan 2012 15:03:09 +0000 (16:03 +0100)
commit0c9ddc0fd5ae741fd723da6ce620c14d9254143b
tree6044f155cb70d60068ee891060b9262c5af8e5b1
parent9aaa70a845fe8eb26b3d2e264958b8586150d76b
faq: fix typo.

Reported-By: Clément Bœsch
doc/faq.texi