tree 507675692844812fc507a45cb5ffb11202656ed2
parent a971c3beaef535b60ef2309e634e34c2ca6e3430
author Nitin Dahyabhai <thatnitind@gmail.com> 1597604910 -0400
committer Nitin Dahyabhai <thatnitind@gmail.com> 1597604937 -0400

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