(formatting) remove unneeded horizontal lines?

by julien-c HF staff - opened Mar 7, 2023

←

Mar 7, 2023

No description provided.

ridger

Owner Mar 8, 2023

Thanks!

ridger changed pull request status to merged Mar 8, 2023

Upload images, audio, and videos by dragging in the text input, pasting, or clicking here.

Tap or paste here to upload images

Your need to confirm your account before you can post a new comment.

· Sign up or log in to comment