Tools Tools used for development. Subcategories: git nvim RSS feed 2020-09-24Nvim: Improved Automatic Indentation 2019-12-14Nvim: Updating Header Comments 2019-10-10Put PGP Keys into Git Repositories