fixes #5381: Now, Jade has been renamed to Pug

This commit is contained in:
Martin Aeschlimann
2016-04-20 22:28:39 +02:00
parent dae4ce6d0b
commit c3bf6bd026
2 changed files with 2 additions and 2 deletions

View File

@@ -6,7 +6,7 @@
"contributes": {
"languages": [{
"id": "jade",
"extensions": [ ".jade" ],
"extensions": [ ".jade", ".pug" ],
"aliases": [ "Jade", "jade" ],
"configuration": "./jade.configuration.json"
}],