Closed hildjj closed 9 years ago
Have travis do a "make dist" and publish the output back to github.
Travis now deploy to github releases. Closing issue.
Have travis do a "make dist" and publish the output back to github.