Version bump for 0.10 release.

diff --git a/NEWS b/NEWS
index b8f073e8494cf5c64d6428bb614f27996ed50714..d4c710cfc2585b38e72e58c6b92f6684ab53fa82 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
                        src project news
 
-Repository head:
+0.10: 2014-11-19
    Modified check is now done by content, not modification date.
 
 0.9: 2014-11-16

diff --git a/src b/src
index f841302ebd8f214c94629ee6e10332050d4d7912..4457f3ebcfb7492924da02cc93ac1f793cb8b8e6 100755 (executable)
--- a/src
+++ b/src
@@ -56,7 +56,7 @@
 
 import sys, os, subprocess, time, calendar, stat, glob, shutil, hashlib
 
-version=0.9
+version="0.10"
 
 def screenwidth():
     "Return the current width of the terminal window."