nicholasngai
commented
1 year ago It’s annoying that this has to be necessary instead of having good commit hygiene and global .gitignore’s, but alas.
Closed nikhiljha closed 1 year ago
nicholasngai
commented
1 year ago It’s annoying that this has to be necessary instead of having good commit hygiene and global .gitignore’s, but alas.
Just some small changes for now. I'm also working on making security principles / memory safety prettier but I'll drop those in another PR.