diff options
| author | Mickaël Rémond <mremond@process-one.net> | 2015-03-03 22:19:51 +0100 |
|---|---|---|
| committer | Mickaël Rémond <mremond@process-one.net> | 2015-03-03 22:19:51 +0100 |
| commit | f0f8301b5e567dc067a679b458d4765d6890d465 (patch) | |
| tree | 2135b415ea67dc8a984ce84c142581eb1a41f603 /doc/guide.tex | |
| parent | Update links (diff) | |
Fix typo on state reuse
It should help with the crash on #453
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions