8 commits

Author	SHA1	Message	Date
Leon Vatthauer	55f125dae0	Undo latex workshop changes	2024-03-10 11:14:39 +01:00
Leon Vatthauer	dbd7388a4e	latex options for vscode	2024-03-10 10:03:10 +01:00
Leon Vatthauer	aacb0981bb	Merge branch 'main' of git.vatthauer.xyz:leonv/nixos	2024-03-04 10:31:27 +01:00
Leon Vatthauer	b46321d8e9	Fix deprecation warnings	2024-03-04 10:31:15 +01:00
Leon Vatthauer	c075c20815	optimise shinx and update ltex vscode	2024-02-26 14:28:05 +01:00
Leon Vatthauer	173f6e446b	switch to vscodium	2024-02-25 21:03:35 +01:00
Leon Vatthauer	8632688d6c	update agda-mode vscode extension	2024-02-21 13:33:07 +01:00
Leon Vatthauer	1c853edcab	initial commit after purge	2024-02-16 13:59:46 +01:00