diff options
| author | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:43:16 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2017-07-22 14:43:16 (EDT) |
| commit | 6db7b468fa1e59299ed3652778e26822b50e972f (patch) | |
| tree | 83adf1d99bacc0f7f80a50d1edeb1457cbf5bfdd /configure | |
| parent | 7147d455fe5f70abb1a078a76a3c471d3d015d05 (diff) | |
src/pro-archman.sh: Rename to src/main.sh
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions