From a09bd34e365be85e419138f476deffd12621e3d1 Mon Sep 17 00:00:00 2001 From: Gael Forget Date: Fri, 18 Jun 2021 17:02:24 -0400 Subject: [PATCH] add missing ALLOW_DIFFKR_CONTROL (needed since checkpoint67x) (#12) --- code/CTRL_OPTIONS.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/code/CTRL_OPTIONS.h b/code/CTRL_OPTIONS.h index 46ee46b..be18bb9 100644 --- a/code/CTRL_OPTIONS.h +++ b/code/CTRL_OPTIONS.h @@ -40,6 +40,9 @@ C This allows for GMREDI controls #define ALLOW_KAPREDI_CONTROL # undef ALLOW_KAPREDI_CONTROL_OLD +C This allows for DIFFKR controls +#define ALLOW_DIFFKR_CONTROL + C o sets of controls #define ALLOW_GENTIM2D_CONTROL #define ALLOW_GENARR2D_CONTROL