script to remove whitespace at the end of a line
authorChristian Grothoff <christian@grothoff.org>
Mon, 29 Aug 2011 10:15:57 +0000 (10:15 +0000)
committerChristian Grothoff <christian@grothoff.org>
Mon, 29 Aug 2011 10:15:57 +0000 (10:15 +0000)
commitbb4fc4f4007988874f910d4de5492f9629301641
tree3da40481bb661bd72bdb7dda99732326c3543438
parenta9fccfb90479597e554f05ed71bf7bdcc7837ca5
script to remove whitespace at the end of a line
contrib/removetrailingwhitespace [new file with mode: 0755]