diff options
Diffstat (limited to 'platforms/ptxdist-version.in')
| -rw-r--r-- | platforms/ptxdist-version.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platforms/ptxdist-version.in b/platforms/ptxdist-version.in index 121f58d32..d4308d505 100644 --- a/platforms/ptxdist-version.in +++ b/platforms/ptxdist-version.in @@ -1,4 +1,5 @@ ## SECTION=ptxdist_version +## SECTION=platform_version config PLATFORMCONFIG_VERSION_DEFAULT string |