diff options
author | Christophe Romain <christophe.romain@process-one.net> | 2013-12-03 10:34:59 +0100 |
---|---|---|
committer | Christophe Romain <christophe.romain@process-one.net> | 2013-12-03 10:34:59 +0100 |
commit | e11c835bd3c38d8611785411abc8c3e57bad798a (patch) | |
tree | 8ac4d6d6fb7738fa17c0cbffb63a9635432fe65f /doc/guide.tex | |
parent | Merge pull request #119 from Mikhail-D/patch-1 (diff) |
fix use of virtual nodetree
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions