jeena/GGS-report
1
0
Fork 0
Code Issues Pull requests Projects Packages Wiki Activity Actions

Fixed nomenclature error

Browse source
This commit is contained in:
Jonatan Pålsson 2011-05-10 10:58:48 +02:00
parent 2b6ded2a98
commit d3b1ed82e7
1 changed files with 1 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

18
report.lyx
View file

@ -5898,22 +5898,6 @@ sendCommandToAll(command, args).
separated from the game state. separated from the game state.
Unique ids called gametokens are generated for hosted games so that they Unique ids called gametokens are generated for hosted games so that they
are not mixed up. 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 \end_layout
\begin_layout Subsection \begin_layout Subsection
@ -6867,7 +6851,7 @@ reference "sec:Communication-with-the-GDL-VM"
\begin_inset Float algorithm \begin_inset Float algorithm
wide false wide false
sideways false sideways false
status collapsed status open
\begin_layout Plain Layout \begin_layout Plain Layout
\begin_inset ERT \begin_inset ERT