update style_extra corrector boxes : boxes width from ex to percent line width
Description
Description
Details
Details
- Committed
bonivento Oct 30 2019, 12:33 - Pushed
bonivento Oct 30 2019, 12:34 - Parents
- R1066:938240f426ae: update style_extra corrector boxes : boxes width from ex to percent line width
- Branches
- Unknown
- Tags