diff options
author | John Ericson <Ericson2314@Yahoo.com> | 2015-05-18 04:02:31 +0000 |
---|---|---|
committer | John Ericson <Ericson2314@Yahoo.com> | 2015-05-18 04:10:37 +0000 |
commit | 95c1c686a371954751003c8108f9b6bd49a5338b (patch) | |
tree | a0345e6e8425c809067d77193cd9594eeb771a91 /pkgs/misc/freestyle | |
parent | 45052c02a8b27f76a0a4ad9d43a37f7e23d637eb (diff) | |
download | nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar.gz nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar.bz2 nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar.lz nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar.xz nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.tar.zst nixpkgs-95c1c686a371954751003c8108f9b6bd49a5338b.zip |
agda: Remove buildTools, it is unused
Diffstat (limited to 'pkgs/misc/freestyle')
0 files changed, 0 insertions, 0 deletions