| commit | e6e498494f4f420d8940f79c50e784aa37d3d891 | [log] [tgz] |
|---|---|---|
| author | Nikolaus Wittenstein <nikolaus.wittenstein@gmail.com> | Tue Aug 29 13:39:11 2017 -0400 |
| committer | GitHub <noreply@github.com> | Tue Aug 29 13:39:11 2017 -0400 |
| tree | 4015c5666faf837713a3b14661c29f64a957f075 | |
| parent | 7bbc708ff08f5660f4cff4b3e8c675bec428a1f2 [diff] |
Add `deps` and `recompact` tools to manual The `deps` tool in particular is very useful to know about.