diff options
-rwxr-xr-x | Master/bin/i386-linux/texconfig-sys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/i386-linux/texconfig-sys b/Master/bin/i386-linux/texconfig-sys index dd58513a6ea..ff549003ad2 100755 --- a/Master/bin/i386-linux/texconfig-sys +++ b/Master/bin/i386-linux/texconfig-sys @@ -1,5 +1,5 @@ #!/bin/sh -# $Id$ +# $Id: texconfig-sys 20962 2011-01-07 11:45:38Z peter $ # texconfig-sys: Thomas Esser, public domain. |