Chris Mullins a5aeed9913 remove unneeded github client; fix json bug vor 8 Jahren
..
src a5aeed9913 remove unneeded github client; fix json bug vor 8 Jahren
gulpfile.js 7a4310dd1e update web; fix improper PROGMEM useages vor 8 Jahren
package.json 81e398655b embed gzipped UI in firmware rather than storing it on SPIFFS vor 8 Jahren