diff options
Diffstat (limited to 'manual/platform/mrobe100.tex')
-rw-r--r-- | manual/platform/mrobe100.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/platform/mrobe100.tex b/manual/platform/mrobe100.tex index 094aec937c..16dc669fec 100644 --- a/manual/platform/mrobe100.tex +++ b/manual/platform/mrobe100.tex | |||
@@ -12,7 +12,7 @@ | |||
12 | \newcommand{\playerman}{Olympus} | 12 | \newcommand{\playerman}{Olympus} |
13 | \newcommand{\playertype}{m:robe 100} | 13 | \newcommand{\playertype}{m:robe 100} |
14 | \newcommand{\playerlongtype}{\playertype} | 14 | \newcommand{\playerlongtype}{\playertype} |
15 | \newcommand{\genericimg}{160$\times$128$\times$1} | 15 | \newcommand{\genericimg}{160x128x1} |
16 | \newcommand{\specimg}{mrobe100} | 16 | \newcommand{\specimg}{mrobe100} |
17 | %Used to name the player, e.g. ...to the \dap | 17 | %Used to name the player, e.g. ...to the \dap |
18 | \newcommand{\dap}{player} | 18 | \newcommand{\dap}{player} |