markus.dieckmann 5728cfae22 add toggleterm back		2025-05-12 13:51:22 +02:00
..
config	older options	2025-05-12 11:48:50 +02:00
plugins	add toggleterm back	2025-05-12 13:51:22 +02:00