Changes between Initial Version and Version 1 of Ticket #12419, comment 15


Ignore:
Timestamp:
Sep 8, 2021, 11:47:57 AM (13 months ago)
Author:
Frédéric Chapoton
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12419, comment 15

    initial v1  
    99Tro to use simply
    1010{{{
    11 git push trac HEAD:u/zimmerman/12419
     11git push trac HEAD:u/zimmerma/12419
    1212}}}
     13
     14EDIT: should use zimmerma, your user name here