diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-01-19 23:47:05 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-01-19 23:47:05 +0100 |
commit | bb3344ccca2d7c184176ba12ed2384ae82fd0f40 (patch) | |
tree | 2f1e8ab441f944206789c4ed406d1c679ea3501a /script | |
parent | c8f17f8e0cbaabd68a5957733110f78b2642389a (diff) | |
parent | 9839b45e764e5222054280190b6fe835522e2949 (diff) |
Merge remote-tracking branch 'upstream/master' into eslint-fixes
Diffstat (limited to 'script')
-rw-r--r-- | script/.eslintrc.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/script/.eslintrc.json b/script/.eslintrc.json new file mode 100644 index 0000000000..16bdb96c04 --- /dev/null +++ b/script/.eslintrc.json @@ -0,0 +1,7 @@ +{ + "globals": { + "__extension__": "readonly", + "__setupPackage__": "readonly", + "__postInit__": "readonly" + } +} |