diff options
Diffstat (limited to 'java/src/IceInternal/PropertyNames.java')
| -rw-r--r-- | java/src/IceInternal/PropertyNames.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/src/IceInternal/PropertyNames.java b/java/src/IceInternal/PropertyNames.java index 77eec82cfe0..88281cb6a99 100644 --- a/java/src/IceInternal/PropertyNames.java +++ b/java/src/IceInternal/PropertyNames.java @@ -8,7 +8,7 @@ // ********************************************************************** // -// Generated by makeprops.py from file ./config/PropertyNames.xml, Thu Jan 24 22:31:36 2013 +// Generated by makeprops.py from file ../config/PropertyNames.xml, Thu Feb 7 14:51:12 2013 // IMPORTANT: Do not edit this file -- any edits made here will be lost! @@ -105,6 +105,7 @@ public final class PropertyNames new Property("Ice\\.Package\\.[^\\s]+", false, null), new Property("Ice\\.Plugin\\.[^\\s]+", false, null), new Property("Ice\\.PluginLoadOrder", false, null), + new Property("Ice\\.PreferIPv6Address", false, null), new Property("Ice\\.PrintAdapterReady", false, null), new Property("Ice\\.PrintProcessId", false, null), new Property("Ice\\.PrintStackTraces", false, null), |