My configuration files so I quickly get the same environment on any "new" computer / installation. Feel free to use and adapt those configurations to your needs.
Updated 2021-06-23 10:54:40 +02:00