| commit | 9742679b8253919f8bfec8a77532092044e951aa | [log] [tgz] |
|---|---|---|
| author | Ebrahim Byagowi <ebrahim@gnu.org> | Tue Oct 02 03:20:48 2018 +0330 |
| committer | GitHub <noreply@github.com> | Tue Oct 02 03:20:48 2018 +0330 |
| tree | 791cc3934b8c782e049fcb14a918c105fabca048 | |
| parent | f72b748371da2d7ce327a5d15feea46960aa7dd3 [diff] |
[circleci] Remove some of the not needed flags