Feature #874
Make sure dev repo comes right after base
Start date:
Due date:
% Done:
100%
Estimated time:
origin:
trac
Description
so that you can overwrite further repo definitions.
Updated by Henning Blohm over 12 years ago
- Status changed from New to Resolved
fixed by making dev repo part of bootrepo_up
Updated by Henning Blohm over 12 years ago
- Priority changed from High to Normal
- % Done changed from 0 to 100