summaryrefslogtreecommitdiffstats
path: root/doc/platform.texi
diff options
context:
space:
mode:
authorNicolas George <[email protected]>2013-03-09 16:47:38 +0100
committerAnton Khirnov <[email protected]>2013-03-13 09:13:54 +0100
commitbe40d6cc2bc99ef90954c85f2bc77f95944ba723 (patch)
treedc7271030aa62c4a408492d54ae8c8c911465bcb /doc/platform.texi
parent37cb3b180a1dc3d6f123f68e0806585ebc2578b6 (diff)
rawdec: fix a typo -- || instead of |
Signed-off-by: Anton Khirnov <[email protected]>
Diffstat (limited to 'doc/platform.texi')
0 files changed, 0 insertions, 0 deletions