diff options
author | Greg Guthe <greg.guthe@gmail.com> | 2015-08-11 22:25:43 -0400 |
---|---|---|
committer | Greg Guthe <greg.guthe@gmail.com> | 2015-08-13 13:16:45 -0400 |
commit | cf8e2a6f8932d02339a1b5a25debba2ddd380319 (patch) | |
tree | 3db841198cccb07265851c79eaeb3ac32bd0d451 /components/util/lib.rs | |
parent | 9fda72d60fcc2db5c4af37b58621071305858018 (diff) | |
download | servo-cf8e2a6f8932d02339a1b5a25debba2ddd380319.tar.gz servo-cf8e2a6f8932d02339a1b5a25debba2ddd380319.zip |
Fail on unrecognized debug option
Refs: https://github.com/servo/servo/issues/7142
Diffstat (limited to 'components/util/lib.rs')
0 files changed, 0 insertions, 0 deletions