Ticket #4676 (closed: fixed)

Opened 9 years ago

Last modified 5 years ago

wiki_maker: add headers for groups in the properties table

Reported by: Janik Zikovsky Owned by: Janik Zikovsky
Priority: trivial Milestone: Release 2.1
Component: Infrastructure Keywords:
Cc: Blocked By:
Blocking: Tester: Andrei Savici

Description

E.g. BinMD, separate the table of properties with the group names if any.

Change History

comment:1 Changed 9 years ago by Janik Zikovsky

  • Status changed from new to accepted

comment:2 Changed 9 years ago by Janik Zikovsky

Refs #4676: wiki_maker makes headers that match property groups

Changeset: 8fb9c1134b13c3fb6cd675a1f3ffdf49b880481f

comment:3 Changed 9 years ago by Janik Zikovsky

  • Status changed from accepted to verify
  • Resolution set to fixed

wiki_maker run on BinMD makes a property table with separations between groups of properties. Looks better.

comment:4 Changed 9 years ago by Janik Zikovsky

Refs #4676: wiki_maker makes headers that match property groups

Changeset: 8fb9c1134b13c3fb6cd675a1f3ffdf49b880481f

comment:5 Changed 8 years ago by Andrei Savici

  • Status changed from verify to verifying
  • Tester set to Andrei Savici

comment:6 Changed 8 years ago by Andrei Savici

  • Status changed from verifying to closed

comment:7 Changed 5 years ago by Stuart Campbell

This ticket has been transferred to github issue ​5523

Note: See TracTickets for help on using tickets.