Files
revng-revng/python/revng/cli/_commands
Giacomo Vercesi 7f73e2bfde revng.daemon: drop REVNG_PROJECT_ID
Remove the logic for computing a manager's workdir using the
REVNG_PROJECT_ID environment variable, as it was unused. The
REVNG_DATA_DIR remains to allow persistence across restarts.
2023-05-24 14:59:16 +02:00
..
2023-05-24 14:59:16 +02:00
2023-05-11 10:05:32 +02:00
2022-09-26 18:09:01 +02:00
2023-04-08 08:42:24 +02:00
2023-04-20 14:43:13 +02:00