diff options
| author | Johann Latocha | 2011-06-06 11:19:23 +0200 |
|---|---|---|
| committer | Johann Latocha | 2011-06-06 11:19:23 +0200 |
| commit | 67875a500967ba4f6dbba67e9d72dbb10fcad805 (patch) | |
| tree | 929cab414c86cbd00c7992442d63ddbe85a6d236 /src | |
| parent | [PVSGUI] Visibility of balloon messages is now configurable (default is false) (diff) | |
| download | pvs-67875a500967ba4f6dbba67e9d72dbb10fcad805.tar.gz pvs-67875a500967ba4f6dbba67e9d72dbb10fcad805.tar.xz pvs-67875a500967ba4f6dbba67e9d72dbb10fcad805.zip | |
Version update
Diffstat (limited to 'src')
| -rw-r--r-- | src/version.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/version.h b/src/version.h index eaee67e..5522118 100644 --- a/src/version.h +++ b/src/version.h @@ -1,2 +1,2 @@ -#define VERSION_STRING "3.1.1" +#define VERSION_STRING "3.1.2" #define VERSION_NUMBER 311 |