From ae0c53eee7bc33455effa94c64ef1b4e1b8fcfc4 Mon Sep 17 00:00:00 2001 From: Brian S Date: Mon, 20 May 2019 11:34:31 -0700 Subject: [PATCH] Delete duplicate user file causing tricky repo status on case-insensitive filesystems (#1330) --- users/Ankur.json | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 users/Ankur.json diff --git a/users/Ankur.json b/users/Ankur.json deleted file mode 100644 index 266d7fa3..00000000 --- a/users/Ankur.json +++ /dev/null @@ -1,2 +0,0 @@ -{"copyright":"Ankur Jaiswal","email":"aj17@iitbbs.ac.in","theme": "flesch","format":"html","gravatar": true} -