tuning
conflict
conflict
ilp changes
Merge branch 'master' of https://github.com/DrDub/hunter-gatherer
docs
remove useless doc
doc-bib