diff options
author | worldofpeace <worldofpeace@users.noreply.github.com> | 2019-04-28 10:54:03 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-28 10:54:03 -0400 |
commit | 24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a (patch) | |
tree | 736ea8b4e522ee83d3dcf3353961e7e7e81b1414 /pkgs/development/idris-modules | |
parent | 93143b02d528227adacdfbf5eff9a1cbc73cfe9f (diff) | |
parent | b2dc8c0fa3dcb4d84013ef2fc2932ed92bcb9267 (diff) | |
download | nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar.gz nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar.bz2 nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar.lz nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar.xz nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.tar.zst nixpkgs-24f15a7f9e0ffef4e388d101aeec9a6ac0e5728a.zip |
Merge pull request #60210 from worldofpeace/mutter328/fix
gnome3.mutter328: backport changes from 3.32
Diffstat (limited to 'pkgs/development/idris-modules')
0 files changed, 0 insertions, 0 deletions