Merge branch 'master' of git://factorcode.org/git/factor

[factor.git] / basis / db / db.factor

diff --git a/basis/db/db.factor b/basis/db/db.factor
old mode 100755 (executable)
new mode 100644 (file)