Giacomo Vercesi ca26c06ecc EventManager: fix save logic ...

Fix the save logic of `EventManager` where an erroneous comparison lead
to the saves never being triggered.

2025-02-25 09:18:24 +01:00

..

api

revng daemon: add save mutation

2024-12-20 12:24:34 +01:00

cli

fetch-debuginfo: add retries

2025-02-24 18:17:47 +01:00

daemon

EventManager: fix save logic

2025-02-25 09:18:24 +01:00

support

commands_registry.py: allow subcommands in subdirs

2024-10-01 13:38:14 +02:00

__init__.py

python: create python wheels

2023-12-12 14:52:22 +01:00

py.typed

python: create python wheels

2023-12-12 14:52:22 +01:00