Improved dist for CI

This commit is contained in:
Manuel Cortez 2018-12-17 00:56:08 -06:00
parent 9b89612edb
commit e1b79af4a5
8 changed files with 2 additions and 2 deletions