diff options
Diffstat (limited to 'manual/platform/mrobe100.tex')
-rw-r--r-- | manual/platform/mrobe100.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/manual/platform/mrobe100.tex b/manual/platform/mrobe100.tex index 0b0a7e3899..d31d505e13 100644 --- a/manual/platform/mrobe100.tex +++ b/manual/platform/mrobe100.tex | |||
@@ -6,7 +6,6 @@ | |||
6 | \edef\UseOption{\UseOption,HAVE_DISK_STORAGE} | 6 | \edef\UseOption{\UseOption,HAVE_DISK_STORAGE} |
7 | \edef\UseOption{\UseOption,HAVE_BUTTON_LIGHTS} | 7 | \edef\UseOption{\UseOption,HAVE_BUTTON_LIGHTS} |
8 | \edef\UseOption{\UseOption,olympus} | 8 | \edef\UseOption{\UseOption,olympus} |
9 | \edef\UseOption{\UseOption,release31} | ||
10 | 9 | ||
11 | \newcommand{\playerman}{Olympus} | 10 | \newcommand{\playerman}{Olympus} |
12 | \newcommand{\playertype}{m:robe 100} | 11 | \newcommand{\playertype}{m:robe 100} |