diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2016-07-08 16:44:18 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-08 16:44:18 -0400 |
| commit | 4139841e9d116c8dd1fa6fa56dd72e99b7710779 (patch) | |
| tree | 116d07dc7510307e671f8e23082967f981bda168 /.gitmodules | |
| parent | 8610481c372e9de02fe1ec7b77a9f3598a72a372 (diff) | |
| parent | 6911ead027202da981862c9259ff4d962d51a519 (diff) | |
Merge pull request #498 from fredizzimo/fix_make_dependencies
Fix make dependencies
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions