diff options
Diffstat (limited to 'pc')
| -rw-r--r-- | pc/ChangeLog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 10d16e61..ca1c15ea 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -14,7 +14,7 @@ * configpk.sed: * config.sed: - * config.bat: New files, to produce pc/config.h from the top-level + * make-config.bat: New files, to produce pc/config.h from the top-level configh.in file. 2011-10-18 Juan Manuel Guerrero <juan.guerrero@gmx.de> |