diff options
| author | Jose <jose@zeroc.com> | 2013-07-26 22:22:29 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2013-07-26 22:22:29 +0200 |
| commit | 19d2de617bc2e86f574e5f140d3f9d6ddad124bb (patch) | |
| tree | 5be0a5ad8b9da954903d438c63556ad73b79feac /cpp/src/Ice/PropertyNames.h | |
| parent | IceGrid GUI minor fix (diff) | |
| download | ice-19d2de617bc2e86f574e5f140d3f9d6ddad124bb.tar.bz2 ice-19d2de617bc2e86f574e5f140d3f9d6ddad124bb.tar.xz ice-19d2de617bc2e86f574e5f140d3f9d6ddad124bb.zip | |
ICE-5337 - Added MetricsConfigs, and update MetricsAdmin to sliced format.
Diffstat (limited to 'cpp/src/Ice/PropertyNames.h')
| -rw-r--r-- | cpp/src/Ice/PropertyNames.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/src/Ice/PropertyNames.h b/cpp/src/Ice/PropertyNames.h index d25341799bf..261749016e2 100644 --- a/cpp/src/Ice/PropertyNames.h +++ b/cpp/src/Ice/PropertyNames.h @@ -8,7 +8,7 @@ // ********************************************************************** // -// Generated by makeprops.py from file ./config/PropertyNames.xml, Tue Mar 19 08:07:05 2013 +// Generated by makeprops.py from file ./config/PropertyNames.xml, Fri Jul 26 17:20:59 2013 // IMPORTANT: Do not edit this file -- any edits made here will be lost! |