Ivan 1555a1bf92 F: Rename Nominal relation and improve UI		2025-08-21 21:26:40 +03:00
..
extensions.json	F: Improve color and animation styling	2025-04-16 15:22:04 +03:00
launch.json	R: Fix single test runner	2025-04-06 13:21:54 +03:00
settings.json	F: Rename Nominal relation and improve UI	2025-08-21 21:26:40 +03:00