tree e5115846f71850b8dcd5026be1459c186f07ff34
parent d9ef83298f51a48b3be4d2bdb3c1095026d2242e
author Nitin Dahyabhai <thatnitind@gmail.com> 1597605030 -0400
committer Nitin Dahyabhai <thatnitind@gmail.com> 1597605030 -0400

[562357] Define the preference page that requires jsdt.web in jsdt.web