Minor release name change

This commit is contained in:
Simone Mainardi 2017-08-14 18:16:58 +02:00
parent 8df0b552f1
commit 50f2c97fc6

View file

@ -3541,7 +3541,7 @@ function printntopngRelease(info)
if(info["version.enterprise_edition"]) then
print(" Enterprise")
elseif(info["pro.release"]) then
print(" Pro [Small Business Edition]")
print(" Professional")
else
print(" Community")
end