Changes between Initial Version and Version 1 of Ticket #31609, comment 14
- Timestamp:
- 04/06/21 10:21:53 (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31609, comment 14
initial v1 10 10 > I don't mind either way but there's a choice to make. 11 11 12 There is no choice to make ;-) Both work in the current implementation (cf. the examples ).12 There is no choice to make ;-) Both work in the current implementation (cf. the examples in the doctests).