Release prefixspan-rel-1.3
# Please enter the commit message for your changes. Lines starting
# with '#' will be ignored, and an empty message aborts the commit.
# On branch master
# Your branch and 'origin/master' have diverged,
# and have 1 and 1 different commit each, respectively.
#   (use "git pull" to merge the remote branch into yours)
#
# Changes to be committed:
#	modified:   README.md
#	modified:   data2
#	modified:   index.htm
#	deleted:    index.html
#	modified:   redupfile
#	modified:   stopwords
#
