mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-26 14:46:02 +00:00
ded1228e70
for now (pending a semantics phase). Added a generic new and prototype setting.