On Thu, Oct 8, 2015 at 2:03 PM, Paul Rouget <p...@mozilla.com> wrote: > I found out there are non-documented options (--debug dump-layer-tree > for example). Are there more?
https://github.com/servo/servo/issues/7926 -- Paul _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
