Changes between Initial Version and Version 1 of Ticket #31609, comment 14


Ignore:
Timestamp:
04/06/21 10:21:53 (15 months ago)
Author:
egourgoulhon
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #31609, comment 14

    initial v1  
    1010> I don't mind either way but there's a choice to make.
    1111
    12 There is no choice to make ;-) Both work in the current implementation (cf. the examples).
     12There is no choice to make ;-) Both work in the current implementation (cf. the examples in the doctests).