Enable dt-header for git-rev-sync

2026-06-28 14:20:12 +00:00 · 2018-10-23 17:05:52 -07:00
parent 7bd54136c2
commit e7cbbda23f
1 changed files with 1 additions and 1 deletions
--- a/types/git-rev-sync/tslint.json
+++ b/types/git-rev-sync/tslint.json
@@ -1,6 +1,6 @@
 {
    "extends": "dtslint/dt.json",
    "rules": {
-        "dt-header": false
+        "dt-header": true
    }
 }