Giacomo Vercesi d49d25b184 pype: adopt option group for wrappers ...

Group all the wrapper options (`--lldb`, `--gdb`, etc.) in an option
group, so that they are rendered in an indented section.

2026-04-09 17:07:44 +02:00

..

revng

pype: adopt option group for wrappers

2026-04-09 17:07:44 +02:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

pypeline-daemon: rework error propagation

2026-03-31 17:00:48 +02:00

wheel-install.sh

python: create python wheels

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