History log of /seL4-l4v-master/HOL4/developers/delete-trailing-ws
Revision Date Author Comments
# a5579a1a 16-Nov-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Get trailing-wspace deletion to look at more files

Now it also looks in .bib and .doc files


# ac27de97 02-Mar-2014 Michael Norrish <michael.norrish@nicta.com.au>

Trailing-whitespace deletion script now handles tabs also

There is also a -n option to see what it might affect without actually
going through with the replacement.


# 962113ef 02-Oct-2012 Michael Norrish <Michael.Norrish@nicta.com.au>

Slightly fiddle with delete-trailing-ws script invocation.

Aim is to make it easier to find out what it does after an absence.


# b775f069 08-Mar-2012 Ramana Kumar <ramana.kumar@gmail.com>

delete trailing whitespace (in lem files too)


# f6a9ccd4 13-Oct-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Modify delete-trailing-ws tool to do its thing in .tex files too.


# ceb4bbb6 14-Sep-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

New tool to find and fix files containing trailing white-space.