Minor bug fixes for version 3.1.1

Added by Robin Hahling almost 4 years ago

I just released version 3.1.1. It contains minor fixes, listed in the changelog file, namely:

  • fix a typo in the compilation instructions in the readme file
  • fix an old bug (4+ years) which messed up colors in HTML export when a configuration file is used
  • fix a bug which prevented some file systems to be displayed when the filtering option was used
  • fix a bad implicit fallthrough

Download link: v3.1.1

Thanks to George Angelopoulos and Pierre-Yves (kyrios123) for their contributions!