Andrei Cristian Petcu 62fe4e0bb4 servo: Merge #20175 - #20174 removed the option and unwrap (from andreicristianpetcu:remove_optional_from_default_config_dir); r=jdm ...

I removed the useless option and the need for unwrap from default_config_dir

---
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #20174 (github issue number if applicable).
- [X] These changes do not require tests because they are used at build time.

Source-Repo: https://github.com/servo/servo
Source-Revision: 48ff3965cc2e483a33d457e3ddaf9ad10007c275

2018-03-02 14:39:37 -05:00

..

opts.rs

…

prefs.rs

…