Maxim Baz f0eba7d51b Improvements for distribution (#417) ... * Don't pack sources (github does it better), sign sources * Make CircleCI generate the same git archive as Github, return make dist * Revert make clean too * Upload signature to Github release * Read Github token from an env variable		2019-12-21 05:02:39 +05:30
..
config.yml	Improvements for distribution (#417)	2019-12-21 05:02:39 +05:30