diff options
| author | Michael Stapelberg <michael+x200@stapelberg.de> | 2008-10-10 10:33:05 +0200 |
|---|---|---|
| committer | Michael Stapelberg <michael+x200@stapelberg.de> | 2008-10-10 10:33:05 +0200 |
| commit | 753144d58b5b7edb104f78b0c0331ad150fcdb7c (patch) | |
| tree | f09fa3c5dbccfbea96d9ce0ec01e5516790f3efa /config.h | |
| parent | c5b50af38827e5e7f69d2d14b685481ea02c9fc4 (diff) | |
Make source splint-clean (invoked with -weak)
Diffstat (limited to 'config.h')
| -rw-r--r-- | config.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ extern const char **run_watches; extern unsigned int num_run_watches; extern const char *wmii_normcolors; extern const char order[MAX_ORDER][2]; -extern int interval; +extern unsigned int interval; extern bool use_colors; #endif |