Commit Graph

8 Commits

Author SHA1 Message Date
xeruf dea1732727 config: various updates 2024-04-13 12:49:32 +02:00
xeruf 490f50695b config: tool config updates 2024-02-20 19:56:45 +01:00
xeruf b49f92932e config: various (shell) adjustments 2024-01-12 19:55:11 +03:00
xeruf 750b42f7cf bin: new script versions 2023-11-07 10:58:02 +01:00
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