diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-14 18:01:49 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-16 23:41:52 +0200 |
| commit | f87e56320198fecd81ce588f571578b6cda5ed08 (patch) | |
| tree | 2d9626f1d90c043f6c3b9fe8340f63b1a09c4dcc /nix/.gitignore | |
| parent | 16dd764691d7f3ab954c82332f456bfa5f094514 (diff) | |
| download | patches-f87e56320198fecd81ce588f571578b6cda5ed08.tar patches-f87e56320198fecd81ce588f571578b6cda5ed08.tar.gz | |
scripts/build: options->things-to-build: Handle .json files.
* guix/scripts/build.scm (options->things-to-build): Handle files that end on
.json.
Diffstat (limited to 'nix/.gitignore')
0 files changed, 0 insertions, 0 deletions