4 commits

Author	SHA1	Message	Date
xeruf	91d3180a7b	config: script enhancements	2023-11-04 19:13:34 +01:00
xeruf	01585d4e14	config: configure haskell eglot for ihp	2023-09-27 15:37:44 +02:00
xeruf	ae45f56e6e	config: some refinements	2023-07-27 17:17:12 +02:00
xeruf	8e1f39e5bb	config/topgrade: update and relocate	2023-07-11 09:02:17 +02:00