Joao Moreno
|
838f4024b3
|
fixes #43973
|
2018-02-27 15:41:46 +01:00 |
|
Erich Gamma
|
5e41d2aafb
|
enable checkJS
|
2018-02-01 14:39:12 +01:00 |
|
Joao Moreno
|
d9bf02d19e
|
builtin: dont delete when disabled
|
2018-01-30 09:23:11 +01:00 |
|
Joao Moreno
|
2ebd2a7dd2
|
builtin: manage extensions
|
2018-01-30 09:04:39 +01:00 |
|
Joao Moreno
|
cfed82d6bd
|
fix builtin
|
2018-01-29 17:15:22 +01:00 |
|
Joao Moreno
|
b338f57e76
|
built in extensions control file
|
2018-01-29 12:23:43 +01:00 |
|
Alex Dima
|
5bdb90de36
|
scripts/code.sh picks up marketplace built-in extensions automatically
|
2018-01-23 16:40:52 +01:00 |
|