This repository has been archived by the owner on Sep 19, 2018. It is now read-only.

jenga -version doesn't print version #8

Open

agarwal opened this issue Nov 3, 2014 · 0 comments

agarwal commented Nov 3, 2014

$ ~/.opam/4.02.1/bin/jenga -version
No version info.

The text was updated successfully, but these errors were encountered:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.