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 /Makefile | |
| parent | c5b50af38827e5e7f69d2d14b685481ea02c9fc4 (diff) | |
Make source splint-clean (invoked with -weak)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions