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 @@
 \edef\UseOption{\UseOption,HAVE_DISK_STORAGE}
 \edef\UseOption{\UseOption,HAVE_BUTTON_LIGHTS}
 \edef\UseOption{\UseOption,olympus}
-\edef\UseOption{\UseOption,release31}
 
 \newcommand{\playerman}{Olympus}
 \newcommand{\playertype}{m:robe 100}