 Giacomo Vercesi
|
f4bea9562f
|
revng/Support: split part of Statistics in OnQuit
Split the OnQuit functionality of Statistics as a separate header and
object file. Rework the interface to use lambdas instead of the
OnQuitInterface.
|
2023-08-24 10:24:25 +02:00 |
|