Fix bad PR merge for #6580. (#12721)

master
Nick Brassel 2021-04-28 20:42:53 +10:00 committed by GitHub
parent cd6168ee64
commit 0a8e37509b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -41,5 +41,3 @@ void qk_leader_start(void);
#else #else
# define LEADER_DICTIONARY() if (leading && timer_elapsed(leader_time) > LEADER_TIMEOUT) # define LEADER_DICTIONARY() if (leading && timer_elapsed(leader_time) > LEADER_TIMEOUT)
#endif #endif
#endif