24 Commits

Author	SHA1	Message	Date
isidor	11dde1e887	fix type that is causing build to fail	2016-05-20 18:17:40 +02:00
Alex Dima	0519a269ec	First cut at monaco editor d.ts auto-generation	2016-05-20 17:45:42 +02:00
Joao Moreno	bbe568570c	fix build	2016-03-16 17:43:18 +01:00
Joao Moreno	c4cfb09a3c	fix gulp tasks for extensions-build	2016-03-08 10:43:43 +01:00
Joao Moreno	b027a0c492	fix up lint errors, cleanup build folder	2016-03-07 12:56:32 +01:00
Joao Moreno	9f8ee47b02	extract gulpfile rebase	2016-03-07 12:27:10 +01:00
Alex Dima	18c4629511	Rename gulp tasks around extensions	2016-03-01 11:40:18 +01:00
Alex Dima	1a97264011	gulpfile.plugins -> gulpfile.extensions	2016-03-01 11:40:17 +01:00
Alex Dima	d5c3c10920	Fix remaining 'super' must be called before accessing 'this' errors	2016-02-23 14:19:14 +01:00
Joao Moreno	9b8f0a7d6f	omit 'this before super' errors from build	2016-02-23 10:23:27 +01:00
Joao Moreno	c6ae31a9ae	make build fail on compile errors	2016-02-23 09:33:16 +01:00
Dirk Baeumer	ab014838b7	Fixes #3030	2016-02-18 17:54:16 +01:00
Joao Moreno	0ab005e028	don't ignore mixin setting	2016-01-28 11:21:19 +01:00
Joao Moreno	dc4cc72aa7	pick up quality folder during gulp mixin	2016-01-19 11:26:23 +01:00
Alex Dima	2dd593fe8a	Improve gulp hygiene filters to cover top level files	2015-12-17 16:04:06 +01:00
Joao Moreno	9b5899187d	gulp hygiene	2015-11-24 19:09:38 +01:00
isidor	958bdd6ad2	copyrights: use nicer gulp globing ... fixes #260	2015-11-23 20:27:54 +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
Joao Moreno	cc24139a40	VSCODE_BUILD_QUIET	2015-11-20 08:48:59 +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
Joao Moreno	a88ce614eb	mixin repo instead of url	2015-11-14 06:18:49 +01:00
Erich Gamma	8f35cc4768	Hello Code	2015-11-13 14:39:38 +01:00