* Plugins: Retry deletion at restart if it fails (ticket #1257)

This commit is contained in:
zzz
2014-04-30 14:22:25 +00:00
parent 04a3673366
commit 943ea957a2
4 changed files with 95 additions and 14 deletions

View File

@ -18,7 +18,7 @@ public class RouterVersion {
/** deprecated */
public final static String ID = "Monotone";
public final static String VERSION = CoreVersion.VERSION;
public final static long BUILD = 13;
public final static long BUILD = 14;
/** for example "-test" */
public final static String EXTRA = "";