diff options
Diffstat (limited to 'Makefile.local')
| -rw-r--r-- | Makefile.local | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.local b/Makefile.local index c3fc7c5c..361b2a02 100644 --- a/Makefile.local +++ b/Makefile.local @@ -1,3 +1,5 @@ +# -*- makefile -*- + # Here's the (hopefully simple) versioning scheme. # # Releases of notmuch have a two-digit version (0.1, 0.2, etc.). We |