diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-04-01 07:39:32 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-05-31 04:54:52 +0200 |
| commit | 946e5e8aa182cccdfeb43975db0b660bc83c2590 (patch) | |
| tree | ed1228adb98eda64b22e49dc8c8f91d39a58c74b /gnu/services | |
| parent | aa0771556e827b0f67a564082bedf8a573e8f73e (diff) | |
| download | patches-946e5e8aa182cccdfeb43975db0b660bc83c2590.tar patches-946e5e8aa182cccdfeb43975db0b660bc83c2590.tar.gz | |
gnu: tipp10: Use INVOKE.
* gnu/packages/education.scm (tipp10)[arguments]: Substitute INVOKE for
SYSTEM*.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions