 Giacomo Vercesi
|
dc90bca33e
|
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-09-06 15:23:43 +02:00 |
|