diff options
| author | jacwib <jacwib@users.noreply.github.com> | 2016-08-14 11:02:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-14 11:02:46 +0200 |
| commit | 6ba27ea31883d52b3e023681edc344cc95e90317 (patch) | |
| tree | 110c985498179dcf57e9dfe11b4328ef81df8314 /util/travis_compiled_push.sh | |
| parent | e4e13ddc54d90b41a882c76a2d28f28763117763 (diff) | |
Remove pointless comments
Diffstat (limited to 'util/travis_compiled_push.sh')
0 files changed, 0 insertions, 0 deletions