Changes between Version 1 and Version 2 of Ticket #14509, comment 17


Ignore:
Timestamp:
11/01/20 14:16:29 (15 months ago)
Author:
chapoton
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14509, comment 17

    v1 v2  
    55}}}
    66
    7 and doctests should be indented
     7and doctests should be indented, or rather this line should be un-indented