1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-09-03 20:43:15 +03:00

Fix naming of obsolete version removal tool (#6058)

This commit is contained in:
Earle F. Philhower, III
2019-05-07 13:33:50 -07:00
committed by GitHub
parent e67cc90b7a
commit 0ab76fcb37