| commit | 842273bcd7ad6814a0ce7c1b097cea98615900c4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 01 22:05:14 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 01 22:05:14 2003 +0000 |
| tree | e9a3f679dbc382d2fe0bf8cd2b3d5a1929dda961 | |
| parent | bc956056d401f0137e687f878a487fa2a16199df [diff] |
Regenerated with property names with _Prop_ prepended.