From d3b1ed82e70aaf5108e51047e3baa90cbb698b7f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonatan=20P=C3=A5lsson?= <jonatan.p@gmail.com>
Date: Tue, 10 May 2011 10:58:48 +0200
Subject: [PATCH] Fixed nomenclature error

---
 report.lyx | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

diff --git a/report.lyx b/report.lyx
index f490db7..f00d2a2 100644
--- a/report.lyx
+++ b/report.lyx
@@ -5898,22 +5898,6 @@ sendCommandToAll(command, args).
  separated from the game state.
  Unique ids called gametokens are generated for hosted games so that they
  are not mixed up.
-\begin_inset ERT
-status open
-
-\begin_layout Plain Layout
-
-
-\backslash
-nomenclature{
-\backslash
-textbf{WebStorage}}{A new standard for letting websites store data on visitors'
- computers}
-\end_layout
-
-\end_inset
-
-
 \end_layout
 
 \begin_layout Subsection
@@ -6867,7 +6851,7 @@ reference "sec:Communication-with-the-GDL-VM"
 \begin_inset Float algorithm
 wide false
 sideways false
-status collapsed
+status open
 
 \begin_layout Plain Layout
 \begin_inset ERT