diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-02-14 08:52:17 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-02-14 08:52:17 +0100 |
commit | fb0540936566788699a5ca4758f4430e0470c8b4 (patch) | |
tree | 6a13c0162c95a41687b904d8510e437b3dd8ed34 /source/dialogs | |
parent | 97be4e9c7298a86a747115b7288cceb3c0f6a9e7 (diff) |
Start of making SardemFF7 happy
Allow mode's to be loaded as dynamic plugins.
Diffstat (limited to 'source/dialogs')
-rw-r--r-- | source/dialogs/run.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/dialogs/run.c b/source/dialogs/run.c index 9324a995..6138e2d1 100644 --- a/source/dialogs/run.c +++ b/source/dialogs/run.c @@ -49,6 +49,8 @@ #include "dialogs/run.h" #include "mode-private.h" + +#include "timings.h" /** * Name of the history file where previously choosen commands are stored. */ |