remove `extensions` tag from bot

pull/37824/head
João Moreno 2017-11-08 10:57:09 +01:00 committed by GitHub
parent 717f2163c2
commit af4f99d5f2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions

View File

@ -23,7 +23,6 @@
editor-wrapping: [],
emmet: [ ramya-rao-a ],
error-list: [],
extensions: [],
git: [ joaomoreno ],
hot-exit: [ Tyriar ],
html: [ aeschli ],