2010-11-02 | Björn Jacke | add some more discontinued build trees |
commit | commitdiff | tree |
2010-11-02 | Björn Jacke | fix loop for deleting discontiued trees |
commit | commitdiff | tree |
2010-11-02 | Björn Jacke | add discontinued build trees to $old_trees to mark... |
commit | commitdiff | tree |