Tue, 21 Oct 2014 21:10:44 +0200 | haftmann | turn even into an abbreviation | changeset | files |
Tue, 21 Oct 2014 17:23:16 +0200 | desharna | update documentation for 'size_o_map' | changeset | files |
Tue, 21 Oct 2014 17:23:14 +0200 | desharna | rename 'size_o_map' to 'size_gen_o_map' | changeset | files |