diff options
Diffstat (limited to 'users/dhertz/config.h')
-rw-r--r-- | users/dhertz/config.h | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/users/dhertz/config.h b/users/dhertz/config.h deleted file mode 100644 index 3f7762e650..0000000000 --- a/users/dhertz/config.h +++ /dev/null @@ -1,9 +0,0 @@ -#ifndef USERSPACE_CONFIG_H -#define USERSPACE_CONFIG_H - -#ifdef TAPPING_TERM -#undef TAPPING_TERM -#endif // TAPPING_TERM -#define TAPPING_TERM 200 - -#endif // !USERSPACE_CONFIG_H |