Extend description of ZOOM option 'proxy'.
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 5 May 2010 09:26:11 +0000 (11:26 +0200)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 5 May 2010 09:26:11 +0000 (11:26 +0200)
commitacb4c79e77bc112eabfa1f6a82f58cda507f4427
tree5cd0346a1d0947fb870f0d791014f3da458879ed
parente1fa5ba09392c3bdd5c1bacac97d87d703ed1cf3
Extend description of ZOOM option 'proxy'.
doc/zoom.xml