doc/platform: Fix 10l typo
authorDerek Buitenhuis <derek.buitenhuis@gmail.com>
Wed, 13 Feb 2013 23:41:37 +0000 (18:41 -0500)
committerDerek Buitenhuis <derek.buitenhuis@gmail.com>
Wed, 13 Feb 2013 23:41:37 +0000 (18:41 -0500)
commit130cefc9dcedea5babc349251fbeec6f037144ac
tree08dc3d1ec4e3fc68f575d71ae85c89b446c56b8a
parentc6507946d428ee082676d5917fbb3eb0d1d7eb2e
doc/platform: Fix 10l typo

This error was somehow missed for months.

Signed-off-by: Derek Buitenhuis <derek.buitenhuis@gmail.com>
doc/platform.texi