Closed GoogleCodeExporter closed 8 years ago
The same small issue is in tab "Advanced" in Options: the two rightmost
checkboxes show wrong tooltip.
Original comment by vojamo
on 3 Jul 2013 at 7:40
This issue was closed by revision r384.
Original comment by jimradford@gmail.com
on 20 Jun 2014 at 1:04
Original issue reported on code.google.com by
vojamo
on 3 Jul 2013 at 7:34