diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:18:56 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:18:56 (EDT) |
| commit | 183bb738e20e72b2ef81348140df94ad8e67b75c (patch) | |
| tree | 94a1adc947f0507f0808073302d884891ab18b12 /tools | |
| parent | 981086623d146119c1230acdaf1d54a0c53b1abc (diff) | |
src/local.mk, src/cmd/local.mk: pro_archman_SOURCES
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions