diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2017-10-15 16:54:06 -0400 |
|---|---|---|
| committer | Jack Humbert <jack.humb@gmail.com> | 2017-10-15 16:54:06 -0400 |
| commit | bd642d08aba2a0ad7e9eefdf3406578830c90158 (patch) | |
| tree | 55afd917f6a07fdcc99938d3e1965d5f098e60e3 /util/travis_compiled_push.sh | |
| parent | 7f2882832e48509718c888d6f2da7294d0d81db0 (diff) | |
add note to makefile for future use
Diffstat (limited to 'util/travis_compiled_push.sh')
0 files changed, 0 insertions, 0 deletions