Slightly simplify weighted flag setting
tree133a04e02c0c13c261687089ceb3e3d44197b870
-rw-r--r-- 4712 .appveyor.yml
-rw-r--r-- 4341 .clang-format
-rw-r--r-- 53 .gitignore
-rw-r--r-- 4267 .travis.yml
-rw-r--r-- 908 README
-rw-r--r-- 1833 Vagrantfile
-rwxr-xr-x 29558 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-letor
drwxr-xr-x - xapian-maintainer-tools