Fix semantic error
authorRicardo Mones <ricardo@mones.org>
Mon, 18 Apr 2016 12:55:16 +0000 (14:55 +0200)
committerRicardo Mones <ricardo@mones.org>
Mon, 18 Apr 2016 12:55:16 +0000 (14:55 +0200)
commit93ea1833ecd2e4985e5677563e4d624daad2ad3a
tree27382b8e560ed0f60a2e73505b2ca999fc94edd8
parent5e108791506de0e0e1a4393d390f32990b0e4f6a
Fix semantic error

Thanks Andrej for the quick review!
manual/advanced.xml