Configuration for my various machines!

rename idris2-nvim

Created by  fossify  on March 1, 2025
MSUX4FBR4KGQJHAXACDDKDA2L2UPNOJBOX2IHKY7P5S3YRVR6DCQC
In channels
main
Change contents