diff options
| author | joachifm <joachifm@users.noreply.github.com> | 2016-04-07 23:19:15 +0200 |
|---|---|---|
| committer | joachifm <joachifm@users.noreply.github.com> | 2016-04-07 23:19:15 +0200 |
| commit | 25cc1c12febf74c66d661528e2fc2b00caff1bf1 (patch) | |
| tree | 121513cb2a6b86c873531273d5189fdd2d4e7e92 /pkgs/development/libraries/pcl | |
| parent | 30e61aa444572eb2b0676ce5693274c688f74aff (diff) | |
| parent | 47e5145d0b5c2d9af6cd43d70bf3ba6aea634c33 (diff) | |
| download | nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar.gz nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar.bz2 nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar.lz nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar.xz nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.tar.zst nixpkgs-25cc1c12febf74c66d661528e2fc2b00caff1bf1.zip | |
Merge pull request #14506 from makefu/taskserver-pki
taskserver: integrate pki scripts
Diffstat (limited to 'pkgs/development/libraries/pcl')
0 files changed, 0 insertions, 0 deletions