Changes between Initial Version and Version 1 of Ticket #16073, comment 18


Ignore:
Timestamp:
11/14/14 21:59:21 (6 years ago)
Author:
darij
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16073, comment 18

    initial v1  
    1212(Python 3).
    1313
     14--------
     15
    1416{{{
    1517- map(
     
    1921}}}
    2022Can't we get rid of the `list`?
     23
     24--------
    2125
    2226{{{
     
    3539}}}
    3640
     41--------
     42
    3743This is unnecessary:
    3844{{{