diff options
author | Pierre Labastie <pierre@linuxfromscratch.org> | 2019-04-16 08:29:14 +0000 |
---|---|---|
committer | Pierre Labastie <pierre@linuxfromscratch.org> | 2019-04-16 08:29:14 +0000 |
commit | aa283c0dee2aafe305638638a0cd8be2bb7375c1 (patch) | |
tree | e4006364edd45ad93275da7d2d44a80bfafe5e3a /Config.in | |
parent | 2e2ac742c7ab44c1e40b52dd811497d78442690f (diff) |
Fix again properties
Diffstat (limited to 'Config.in')
-rw-r--r-- | Config.in | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#$Id$ +# $Id$ menu "BOOK Settings" #--- BOOK/script |