Will Dietz a78390c1fa tetra-gtk-theme: 0.1.6 -> 0.2.0 ... "October changes"		2018-10-03 22:23:01 -05:00
..
default.nix	tetra-gtk-theme: 0.1.6 -> 0.2.0	2018-10-03 22:23:01 -05:00