• Configure devtools server via preferences

    @paulrouget
    paulrouget committed Jul 17, 2020
    2c36754