diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-10 22:29:10 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-15 16:36:21 +0200 |
| commit | 9fcfe30d283cd7d36c6e292ea1235eb24307b003 (patch) | |
| tree | 8e1199097f7f7e285d8d41f17d89c0b1cf6d175b /.gitignore | |
| parent | 3f9bed04f031a4d4f8d3b6dc0a4de42b0c628496 (diff) | |
| download | patches-9fcfe30d283cd7d36c6e292ea1235eb24307b003.tar patches-9fcfe30d283cd7d36c6e292ea1235eb24307b003.tar.gz | |
system: Add 'operating-system-with-gc-roots'.
* gnu/tests/install.scm (operating-system-with-gc-roots): Move to...
* gnu/system.scm (operating-system-with-gc-roots): ... here. New
procedure.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions