diff options
Diffstat (limited to 'Master/Tools/update-lists')
-rwxr-xr-x | Master/Tools/update-lists | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/Tools/update-lists b/Master/Tools/update-lists index fca393bc9e6..f262977f678 100755 --- a/Master/Tools/update-lists +++ b/Master/Tools/update-lists @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: //depot/Master/Tools/update-lists#8 $ $Author: karl $ $Date: 2005/10/08 $ +# $Id$ # Created by Sebastian Rahtz, long ago. Public domain. # # Update the texmf/lists/* files from all the tpm's. |