diff options
-rw-r--r-- | platformconfig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/platformconfig b/platformconfig index fbba4b7..5cb3c2b 100644 --- a/platformconfig +++ b/platformconfig @@ -1,8 +1,8 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2013.03.0 +# PTXdist 2013.05.0 # -PTXCONF_PLATFORMCONFIG_VERSION="2013.03.0" +PTXCONF_PLATFORMCONFIG_VERSION="2013.05.0" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y PTXCONF__platformconfig_MAGIC__=y |