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.c | |
parent | c5b50af38827e5e7f69d2d14b685481ea02c9fc4 (diff) |
Make source splint-clean (invoked with -weak)
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ const char *wmii_normcolors = "#222222 #333333"; char order[MAX_ORDER][2]; const char **run_watches; unsigned int num_run_watches; -int interval = 1; +unsigned int interval = 1; void die(const char *fmt, ...); |