11 commits

Author	SHA1	Message	Date
Joao Moreno	59c4f24c48	gulp: beware of es.merge and empty arrays ... fixes the internal builds	2015-11-21 14:40:41 +01:00
Joao Moreno	e5e791215f	remove npm-install-plugin:* tasks	2015-11-20 15:53:36 +01:00
Alex Dima	046b87e067	Better editor build tasks	2015-11-20 14:54:11 +01:00
Joao Moreno	9731e5287c	quieter build	2015-11-20 09:24:36 +01:00
Joao Moreno	a0c6a74e24	quiet build	2015-11-20 09:10:06 +01:00
Alex Dima	d7177d6539	Generate different header in editor build	2015-11-20 00:08:13 +01:00
Joao Moreno	7cd8b82c86	use github token in travis ci builds	2015-11-19 18:18:43 +01:00
Joao Moreno	2a29c3b6b5	➡ gulpfiles into build ... fixes #196	2015-11-19 15:47:33 +01:00
Alex Dima	8883fcd03b	Leading whitespace fixes	2015-11-19 12:56:08 +01:00
Chris Dias	6f9e2ae390	Add reference to DefinitelyTyped, updated the TypeScript version, and generate a new thirdpartynotices.txt	2015-11-13 15:48:38 +01:00
Erich Gamma	8f35cc4768	Hello Code	2015-11-13 14:39:38 +01:00