marty c864c6e463 bugfix for NERDTreeMirror
when the user was prompted to choose a tree to mirror, it would mirror
the wrong one
2009-10-09 18:46:33 +13:00
..
2009-10-09 18:46:33 +13:00