search

w3c / predefined-counter-styles

Predefined Counter Styles
https://w3c.github.io/predefined-counter-styles/
Other
7 stars 14 forks source link

Remove whitespace from ends of lines #28

Closed amire80 closed 3 years ago

amire80 commented 3 years ago

This is a trivial change that was made automatically by my text editor. If it's unnecessary or harmful, feel free to close it.

r12a commented 3 years ago

Ah. I forgot to merge this before making various other changes, so now it produces conflicts. Looking over the diff it seems that these are indeed trivial, so i'm going to close the PR.