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