mirror of
https://github.com/dingusdev/dingusppc.git
synced 2024-12-23 06:29:38 +00:00
Attempted build fix
This commit is contained in:
parent
266d45e13a
commit
da9770c99b
@ -25,6 +25,8 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|||||||
#include "timermanager.h"
|
#include "timermanager.h"
|
||||||
|
|
||||||
#include <cinttypes>
|
#include <cinttypes>
|
||||||
|
#include <memory>
|
||||||
|
#include <mutex>
|
||||||
|
|
||||||
TimerManager* TimerManager::timer_manager;
|
TimerManager* TimerManager::timer_manager;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user