Merge pull request #361 from HeisSpiter/master

Check more efficiently for emptiness
tree: e860fa36b06286b7d214eaa46eb2477a8e874fcf
  1. doc/
  2. misc/
  3. src/
  4. .gitignore
  5. bootstrap.py
  6. configure.py
  7. COPYING
  8. HACKING
  9. README