Closed asinghvi17 closed 4 months ago
It's not needed for DocumenterVitepress and probably bloats the repo a fair bit.
Thanks! Good catch - it was an oversight to push it.
I’m travelling now but will review the locality of the change when I get to my laptop and merge it.
It's not needed for DocumenterVitepress and probably bloats the repo a fair bit.