This repository has been archived on 2026-05-29. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jona Walpert 08e02a6135 Feat: add Fold command on server side

2026-04-12 01:17:14 +02:00

..

client

Fix: checkstyle violations

2026-04-11 16:34:24 +02:00

server

Feat: add Fold command on server side

2026-04-12 01:17:14 +02:00

Main.java

Style: apply Checkstyle fixes on client side

2026-03-14 17:35:47 +01:00