diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-07 16:48:12 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-07 16:48:17 -0700 |
| commit | 8967b310b2fa27fc675351583af9e5d800df1f37 (patch) | |
| tree | a9cea8dd5456543da355f843eeb2e7ffea89fa3a /mk | |
| parent | 8b5d3c6b75744cf5938f253d20f367999e92b1a7 (diff) | |
Split extension packaging into a separate target
Diffstat (limited to 'mk')
0 files changed, 0 insertions, 0 deletions