diff options
Diffstat (limited to 'Makeconfig')
| -rw-r--r-- | Makeconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makeconfig b/Makeconfig index 33e3b7387f..2d2f727d85 100644 --- a/Makeconfig +++ b/Makeconfig @@ -943,3 +943,7 @@ endif endif # Makeconfig not yet included + +# Local Variables: +# mode: makefile +# End: |