Closed bryghtlabs-richard closed 2 months ago
Please move the .gitignore change to a separate PR if you really need it. I see no principal objections, but this should nod be hidden in "docs update"
.gitignore
I let @puzrin merge it if he is okay with the changes.
Please move the
.gitignore
change to a separate PR if you really need it. I see no principal objections, but this should nod be hidden in "docs update"