search

arduinodiscord / bot-legacy

A helpful bot for the Arduino discord community.
https://arduino.cc/discord
GNU General Public License v3.0
15 stars 10 forks source link

bug: file extension whitelist is case sensitive #50

Closed max-bromberg closed 4 years ago

max-bromberg commented 4 years ago

The file extension whitelist should be case agnostic.