mixly3/boards/default_src/arduino_esp8266/generators/tools.js

export const esp8266_pin = function () {
    return '';
}

export const wemos_d1_mini_pin = esp8266_pin;