migrate the setting to core (#349)
* migrate the setting to core * remove setting
A
Aaron Munger committed
b4e84f8174a25fbd286cb22820e0775729003f14
Parent: 3ef509c
Committed by GitHub <noreply@github.com>
on 7/23/2025, 11:12:29 PM