diff options
Diffstat (limited to 'util/pl/Mingw32f.pl')
| -rw-r--r-- | util/pl/Mingw32f.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/pl/Mingw32f.pl b/util/pl/Mingw32f.pl index d523d70153..8d8ad96f91 100644 --- a/util/pl/Mingw32f.pl +++ b/util/pl/Mingw32f.pl @@ -1,6 +1,6 @@ #!/usr/local/bin/perl # -# unix.pl - the standard unix makefile stuff. +# Mingw32f.pl -- copy files; Mingw32.pl is needed to do the compiling. # $o='\\'; |