diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-26 22:01:38 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-26 22:01:38 +0100 |
| commit | f08d34a007e8b35f2ea6b27ac057d63bfcb84634 (patch) | |
| tree | 21df98062ffeff0739466dc3a9791dd5712ef70c /gnu/packages/agda.scm | |
| parent | ff61aee8f7a03fb7310b03d4eee185b9e1bfdb23 (diff) | |
gnu: fillets-ng: Use INVOKE.
* gnu/packages/games.scm (fillets-ng)[arguments]: Use INVOKE in "install-data"
phase.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions