Record.todict behaves suspisciously
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 5 Jun 2015 10:06:23 +0000 (12:06 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 5 Jun 2015 10:06:23 +0000 (12:06 +0200)
no change for now, but we disambiguate between XML.todict() and Record.todict()
so we can more easily spot which is which


No differences found