diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-16 13:38:20 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2020-02-17 23:21:03 +0100 |
| commit | 476614f782eca24dac1422c00f90515f62216f77 (patch) | |
| tree | 505938b925d451f8d2021d80445641590734360b /gnu/packages/patches/texi2html-document-encoding.patch | |
| parent | 2bb7deff9fc748c789bd424590e48c42c8d8e80e (diff) | |
gnu: commencement: gnu-make-mesboot: Rename from make-mesboot.
* gnu/packages/commencement.scm (gnu-make-mesboot): Rename
from. make-mesboot. Update users.
Diffstat (limited to 'gnu/packages/patches/texi2html-document-encoding.patch')
0 files changed, 0 insertions, 0 deletions