diff options
author | Yegor Timoshenko <yegortimoshenko@gmail.com> | 2018-01-08 13:16:20 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-08 13:16:20 +0000 |
commit | d0cfab834609eb77cba9bf76a9ec4663ca25018a (patch) | |
tree | 9de860eaa11dfdda0325a3420446d5b07d76e627 /nixos/modules | |
parent | 563f6880593a138e87d2b1030f2f821bd36bed63 (diff) | |
parent | 6c6f620e5908d2f644873e286423d8adacfc3042 (diff) | |
download | nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar.gz nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar.bz2 nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar.lz nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar.xz nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.tar.zst nixlib-d0cfab834609eb77cba9bf76a9ec4663ca25018a.zip |
Merge pull request #33330 from karolchmist/fix-dotty-lib-folder-public
dotty: wrap to prevent installing all the files in profile
Diffstat (limited to 'nixos/modules')
0 files changed, 0 insertions, 0 deletions