[Main]
Name=__TIGCC_VERSION__
Type=Constant
Header Files=version.h

[Description]
The full TIGCC version number, as an integer value concatenating <A HREF="$$LINK(__TIGCC__)">__TIGCC__</A> and <A HREF="$$LINK(__TIGCC_MINOR__)">__TIGCC_MINOR__</A>.
