diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-14 14:08:14 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2018-12-16 22:49:10 +0100 |
| commit | 9c14fd07708e0824c493f273a236747631799261 (patch) | |
| tree | ce5ab0afbc3fc53caea6eb0749a7466885a8b20d /THANKS | |
| parent | b3bf38a5600d0fdcb0aeed29ee121edef632165d (diff) | |
bootstrap: Remove development hacks.
* gnu/packages/commencement.scm (%fake-bootstrap?): Remove. Update users to
always keep true bootstrap; i.e., do not use %bootstrap-guile.
(mes-boot0): Remove. Update users.
(nyacc-boot): Likewise.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions