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