mozilla/dxr — pull request #30 by garnacho (2012-06-01 15:17:06+00:00)
Title: Lanedo changes

Bugs fixed/improved in this pull request:
https://bugzilla.mozilla.org/show_bug.cgi?id=760158
https://bugzilla.mozilla.org/show_bug.cgi?id=759379
https://bugzilla.mozilla.org/show_bug.cgi?id=759379

Other minor fixes in parameter handling are also included