diff options
Diffstat (limited to 'AbuseFilter/gitinfo.json')
| -rw-r--r-- | AbuseFilter/gitinfo.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/AbuseFilter/gitinfo.json b/AbuseFilter/gitinfo.json deleted file mode 100644 index 7a5763cb..00000000 --- a/AbuseFilter/gitinfo.json +++ /dev/null @@ -1 +0,0 @@ -{"headSHA1": "01df8284e6849d6bec6bc413c57f8eb5bc2f4f6f\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter", "headCommitDate": "1551464876", "branch": "01df8284e6849d6bec6bc413c57f8eb5bc2f4f6f\n", "head": "01df8284e6849d6bec6bc413c57f8eb5bc2f4f6f\n"}
\ No newline at end of file |