Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <llsan@microsoft.com>2021-04-07 13:08:47 +0300
committerGitHub <noreply@github.com>2021-04-07 13:08:47 +0300
commitca84d5037376cea6efc342e101d72966589ef4ed (patch)
tree060aa736f21156d0002d14aa4b129f345f6ef425
parentfb12ccb7f4245eca20803661deaa37ead0ec35af (diff)
Delete CoreKey.key
-rw-r--r--main/src/core/MonoDevelop.Core/CoreKey.keybin596 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Core/CoreKey.key b/main/src/core/MonoDevelop.Core/CoreKey.key
deleted file mode 100644
index 9936f8bf84..0000000000
--- a/main/src/core/MonoDevelop.Core/CoreKey.key
+++ /dev/null
Binary files differ