diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-01-20 16:57:46 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-01-20 16:57:46 -0500 |
| commit | 34e195992c00cf8c97e94b9920a2320aa5a891ff (patch) | |
| tree | ede5d6e61fa97055de380e2a6fe21dd7ca54795e /tools | |
| parent | 16b08a72855d46ee200c8dd7d170a8de52b72a95 (diff) | |
Split plugins into separate packages
This step sacrifices the debugging symbols, but they can be re-added
later.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions