Browse Source

Makefile.defs: version set to 5.0.0-dev4

Daniel-Constantin Mierla 9 years ago
parent
commit
dceb0c4e40
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Makefile.defs

+ 1 - 1
Makefile.defs

@@ -97,7 +97,7 @@ INSTALL_FLAVOUR=$(FLAVOUR)
 VERSION = 5
 PATCHLEVEL = 0
 SUBLEVEL =  0
-EXTRAVERSION = -dev3
+EXTRAVERSION = -dev4
 
 # memory manager switcher
 # 0 - f_malloc (fast malloc)