this post was submitted on 16 Aug 2024
-16 points (30.0% liked)
Funhole
312 readers
72 users here now
Welcome to Funhole! The first and only hole on SDF exclusively for fun content! Are you a content creator? Then come post your content and join the fun!
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
There's actually an unmerged PR that let's you choose your own choice of a decimal separator.