Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-05-30 | more image cleanup | Florian Dold | |
2016-03-01 | rename mint->exchange | Christian Grothoff | |
2015-08-04 | split-system images as suggested by Matthias | Christian Grothoff | |
Former-commit-id: 2f3d8ba1379ee66aec60cccc46fcbb4e6c37ee5c |