55 Commits

Author	SHA1	Message	Date
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