INFO: The new Git default branch name is "main". Details here:

Commit 2d82e35b authored by Matteo Quintiliani's avatar Matteo Quintiliani
Browse files

Merge tag 'v1.0.3' into develop

Substitute option -c with -g and add option -x
parents b5578211 9dc1f0f5
......@@ -11,7 +11,7 @@ m4_define([major_version], [1])
m4_define([minor_version], [0])
m4_define([micro_version], [3])
# Comment build_version for stable release
m4_define([build_version], [dev])
# m4_define([build_version], [dev])
m4_ifdef([build_version], [
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment