diff options
| author | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2015-06-25 09:29:20 +0200 |
|---|---|---|
| committer | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2015-06-25 09:29:20 +0200 |
| commit | 0c7e18edb07ed205e7087b73a85fa692f45003ab (patch) | |
| tree | 4455fd109bcdd539e47234e74ce158b0269f213d /COPYING | |
| parent | eb9af8fe6d4776242fea84f5228b46d903539146 (diff) | |
Add element count to all set types header
It is better to list the set elements for all set types, thus the
header information is uniform. Element counts are therefore added
to the bitmap and list types.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions