diff options
| author | Luca Deri <deri@ntop.org> | 2020-02-23 19:10:14 +0100 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2020-02-23 19:10:14 +0100 |
| commit | f07a3294471de26c83ed9915ad71f8e57e19a854 (patch) | |
| tree | 074f4bf4257b650092b71f1b83f548843f4b6339 | |
| parent | 2ceff3e21471d8948aa2633313646682c21ac95d (diff) | |
| parent | 2972e29097fdcd8f445b89469d968c4f1f414891 (diff) | |
Merge branch 'dev' of https://github.com/ntop/nDPI into dev
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 89b213c91..c4ce5bc16 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,7 +1,7 @@ #!/bin/sh NDPI_MAJOR="3" -NDPI_MINOR="1" +NDPI_MINOR="3" NDPI_PATCH="0" NDPI_VERSION_SHORT="$NDPI_MAJOR.$NDPI_MINOR.$NDPI_PATCH" |