diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-02-08 23:34:50 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-02-08 23:46:46 +0100 |
| commit | 939c5c31d66f7951b71f65e30fbd56eab40a1717 (patch) | |
| tree | 4b5e24874c96b989695736848145e94c096c630a /.dir-locals.el | |
| parent | 1f1ff6a0e71387c2a2e4c60b46c23c3224077c4a (diff) | |
| download | patches-939c5c31d66f7951b71f65e30fbd56eab40a1717.tar patches-939c5c31d66f7951b71f65e30fbd56eab40a1717.tar.gz | |
system: Add Texinfo to '%base-packages'.
Fixes <http://bugs.gnu.org/22598>.
Reported by myglc2 <myglc2@gmail.com>.
* gnu/system.scm (%base-packages): Add TEXINFO.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions