diff options
| author | Dan Willemsen <dan@danw.org> | 2019-01-22 10:50:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-22 10:50:40 -0800 |
| commit | c959cc1777f864cbce7ae5e344134bd27b974583 (patch) | |
| tree | b18672dd2fe65623e4f9554bf6385e0c8211f4de /stats.cc | |
| parent | f1ab0fe80bd9776a476297d3f4df7cbec192372a (diff) | |
| parent | 40f26e11db443b41a4f2f2de2d13688724eb36c6 (diff) | |
| download | kati-c959cc1777f864cbce7ae5e344134bd27b974583.tar.gz | |
Merge pull request #164 from danw/top_level_phony
Add --top_level_phony
Diffstat (limited to 'stats.cc')
0 files changed, 0 insertions, 0 deletions