diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-10 18:39:27 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-10 18:39:27 -0400 |
| commit | 67ac8bb3984807fc3facefa553979d5a1ae8b595 (patch) | |
| tree | 152762efbaf8000e2b3f5997051950544e016467 /src/expl_util.sig | |
| parent | e75a028e3ced5d05be1baa05c6fb1a83b277a45f (diff) | |
Mention transitive dependency calculation for tree shaking
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions