Nuked almost all trailing white space.post-nuke-of-trailing-ws

We better do this once and for all instead of cluttering all future
commits with diffs of trailing white spaces.  In the majority of cases
blank or single lines are affected and thus this change won't disturb
a git blame too much.  For future commits the pre-commit scripts
checks that this won't happen again.

1 files changed, 0 insertions, 1 deletions

diff --git a/tools/clean-sat.c b/tools/clean-sat.c
index 4b44a7bcd..4848f97f6 100644
--- a/tools/clean-sat.c
+++ b/tools/clean-sat.c
@@ -33,4 +33,3 @@ main(int argc, char **argv)
 
     return 0;
 }
-