diff options
| author | Jack Humbert | 2016-08-01 08:24:53 +0200 |
|---|---|---|
| committer | GitHub | 2016-08-01 08:24:53 +0200 |
| commit | d5baa4773d3c211bd8be278915a4320e938000a1 (patch) | |
| tree | 9c82d2cb6bc2ef85cfaa454862730c872e91ca37 /doc | |
| 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 'doc')
0 files changed, 0 insertions, 0 deletions