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

github.com/mono/mono-addins.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Ungureanu <therzok@gmail.com>2020-09-24 17:55:33 +0300
committerLluis Sanchez <llsan@microsoft.com>2020-10-05 13:52:50 +0300
commit111868936f04eca172558a0bc57d760472d7d651 (patch)
tree3f1eb0a66de728e800cfc519a40d595863bbb672
parent25dd732a586d090b9f75366115ae6a6463d1efcd (diff)
Bump database version
-rw-r--r--Mono.Addins/Mono.Addins.Database/AddinDatabase.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Mono.Addins/Mono.Addins.Database/AddinDatabase.cs b/Mono.Addins/Mono.Addins.Database/AddinDatabase.cs
index 1678c4a..714f243 100644
--- a/Mono.Addins/Mono.Addins.Database/AddinDatabase.cs
+++ b/Mono.Addins/Mono.Addins.Database/AddinDatabase.cs
@@ -46,7 +46,7 @@ namespace Mono.Addins.Database
public const string GlobalDomain = "global";
public const string UnknownDomain = "unknown";
- public const string VersionTag = "003";
+ public const string VersionTag = "004";
List<Addin> allSetupInfos;
List<Addin> addinSetupInfos;