diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-05-16 17:31:57 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 17:31:57 -0700 |
| commit | 6c1da997ae8ad3c92aea5d5bfc07165c603f0055 (patch) | |
| tree | 02495db57cd9afed710a58467ec8366c06b851cb /mk/util.mk | |
| parent | 25b014cdf44ed378413a7cb945b8c112ee9b9915 (diff) | |
Try to make staging easier
Diffstat (limited to 'mk/util.mk')
0 files changed, 0 insertions, 0 deletions