10 Commits

Author	SHA1	Message	Date
Ivan Grokhotkov	3c7431b59c	Allow package and docs to be hosted in different places	2015-11-18 12:02:49 +03:00
Ivan Grokhotkov	16a2cdcf41	Add script to merge boards manager packages	2015-11-17 15:42:20 +03:00
wemos	72a7300fd9	add wemos d1 board description to package_esp8266com_index.template.json	2015-11-15 09:54:38 +08:00
Ivan Grokhotkov	cc828e34a3	Update espsoftwareserial library	2015-11-06 12:06:59 +03:00
Pascal Gollor	d57315b27d	change repository links	2015-11-02 10:21:43 +01:00
Pascal Gollor	1ee0aa2b37	Merge branch 'master' of https://github.com/esp8266/Arduino	2015-11-02 10:10:25 +01:00
Pascal Gollor	e88ea3cde7	read old versions	2015-11-01 22:48:11 +01:00
Pascal Gollor	f24deab2b5	add bash script to build documentation	2015-11-01 19:54:07 +01:00
Ivan Grokhotkov	7826ff9710	Fix boards manager package size issue ... Because git ls-files was run in package directory, it didn't list tools directories, so these were not excluded from rsync, causing package to include local copy of tools. Fixed by changing into root directory before doing anything.	2015-11-01 21:45:59 +03:00
Ivan Grokhotkov	444a37987e	Use jq to generate package json	2015-10-30 17:40:17 +03:00