diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-15 09:01:53 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-16 22:49:10 +0100 |
| commit | 20dd94b82fc60918d9fdabb609e30ed4414aba95 (patch) | |
| tree | 1040e58a1d1eabc348b019140f5de1150c92d5e6 /bootstrap | |
| parent | c994177155db71fad9312441043fd8790af9092d (diff) | |
bootstrap: Merge mes-minimal into mes-minimal-stripped.
* gnu/packages/make-bootstrap.scm (%mes-minimal): Remove.
(%mes-minimal-stripped): Configure using --mes. Strip installation.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions