diff options
Diffstat (limited to 'Master/Tools/update-tpm')
-rwxr-xr-x | Master/Tools/update-tpm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/Tools/update-tpm b/Master/Tools/update-tpm index e47ae77354c..370553921a4 100755 --- a/Master/Tools/update-tpm +++ b/Master/Tools/update-tpm @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: //depot/Master/Tools/update-tpm#4 $ $Date: 2005/10/08 $ $Author: karl $ +# $Id$ # Public domain. Originally written 2004, Karl Berry. # # Regenerate the given set of tpm's using tpm-factory. |