Changeset 54503

Timestamp:

Jun 29, 2009, 6:04:24 PM (13 years ago)

Author:

niels_dekker

Message:

Updated documentation of value_initialized, according to a remark by Daniel James at ticket #2548

(No files)