Alex Dima
|
90eb74e313
|
Delete code that was extracted to other repos
|
2016-06-08 10:17:51 +02:00 |
|
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 |
|