genometools/genometools — pull request #393 by yeban (2014-08-19 18:10:08+00:00)
Title: Fingerprint is case insensitive

Regarding #386.

I changed the `gtdata/doc/fingerprint.lua` and updated generated documentation (via `make docs manuals`) in separate commits, because I wasn't sure if generated docs go into the source tree now or when cutting a release. I also added a unit test.