diff options
author | jjl | 2010-10-14 17:57:55 +0200 |
---|---|---|
committer | jjl | 2010-10-14 17:57:55 +0200 |
commit | a498546d6200bdce6027110122d518b15747b3c1 (patch) | |
tree | 33a283bd20661237e605c624fb7aa465997e4d79 /src/version.h | |
parent | [PVSMGR] dummies removed (diff) | |
download | pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.gz pvs-a498546d6200bdce6027110122d518b15747b3c1.tar.xz pvs-a498546d6200bdce6027110122d518b15747b3c1.zip |
[PVSGUI] No X required for --help and --version
Diffstat (limited to 'src/version.h')
-rw-r--r-- | src/version.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/version.h b/src/version.h index de5c6aa..a08c819 100644 --- a/src/version.h +++ b/src/version.h @@ -1,2 +1,2 @@ -#define VERSION_STRING "2.0.5" -#define VERSION_NUMBER 205 +#define VERSION_STRING "2.8.0" +#define VERSION_NUMBER 280 |