diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2016-08-01 02:24:53 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-01 02:24:53 -0400 |
| commit | d5baa4773d3c211bd8be278915a4320e938000a1 (patch) | |
| tree | 9c82d2cb6bc2ef85cfaa454862730c872e91ca37 /util | |
| parent | b25dbc484d639210c53d8e13f79cf5a77f2faaaa (diff) | |
| parent | fda29be3e7e85814344ab188f1b76f994ee8757e (diff) | |
Merge pull request #596 from fredizzimo/rid_of_quick
Fix the makefile dependencies and remove quick targets
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions