3 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	2b181e627c	fetch_debuginfo/common: improve download_file ... Rework the code of `download_file` to leverage requests auto-decoding option to auto-decompress the response body if needed.	2023-05-24 11:09:04 +02:00
Giacomo Vercesi	87543f835a	revng.cli._commands: drop shebangs ... Remove leftover shebangs from python files in `revng.cli._commands` as those files are no longer executable on their own	2023-04-20 14:43:11 +02:00
Djordje Todorovic	0d6ffa7504	Introduce revng fetch-debuginfo	2022-12-13 11:25:36 +01:00