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/packages/erlang.scm | |
| parent | aa0771556e827b0f67a564082bedf8a573e8f73e (diff) | |
gnu: tipp10: Use INVOKE.
* gnu/packages/education.scm (tipp10)[arguments]: Substitute INVOKE for
SYSTEM*.
Diffstat (limited to 'gnu/packages/erlang.scm')
0 files changed, 0 insertions, 0 deletions