diff options
| author | Linus Heckemann <git@sphalerite.org> | 2018-03-16T22·50+0000 |
|---|---|---|
| committer | Linus Heckemann <git@sphalerite.org> | 2018-03-16T22·50+0000 |
| commit | 637701b6047bff23a7dea4e02bebf94660b8cb4c (patch) | |
| tree | 3e279d52cefbb86152166a2d17d379d54e7dacc6 /src/libstore/builtins.hh | |
| parent | 919c3c20b3ebbf8b83b8de28b612d09270e7a2a6 (diff) | |
rename build-extra-platforms -> extra-platforms
also document it
Diffstat (limited to 'src/libstore/builtins.hh')
0 files changed, 0 insertions, 0 deletions