Ewan Mellor

+1, but this is also covered by PR #39.

+1

I think you will be able to fix this using the changes from #27 and #28 (which is based on #20).

This is fixed by #26.

@Gagravarr Both of those options would work, but I don't see how either of them are any better.

See also #285 which is a very similar change.

Patches welcome!

It uses `mktemp` to make a temporary file (diff-image line 169). Add `set -x` to the top of diff-image (and git_diff_image if you have to). That will log everything that...

Duplicate of #272.

I think that the source of the confusion is that berkeley-doc-summarizer/lib/glpk-java-1.1.0.jar (i.e. the one committed to the repo) is useless, because it doesn't include its native library. It's not just...