diff options
author | Christophe Romain <christophe.romain@process-one.net> | 2014-07-22 14:35:31 +0200 |
---|---|---|
committer | Christophe Romain <christophe.romain@process-one.net> | 2014-07-22 14:35:31 +0200 |
commit | f19e19e2b6551eb0d3b56831be1b3532762452f8 (patch) | |
tree | d4d7ded075e5839688d261257c94770b1fdf5bef /doc/guide.tex | |
parent | Add tests for session management (diff) |
reflect correct default value un example documentation
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions