worldofpeace 5d10529e53 gnomeExtensions.no-title-bar: mark as broken ... See: https://github.com/franglais125/no-title-bar/issues/114		2019-04-05 12:14:12 +02:00
..
apps	gnome3.gnome-todo: fix build	2019-04-05 12:13:54 +02:00
core	gnome3.mutter: hardcode path to zenity	2019-04-05 12:14:09 +02:00
devtools	gnome3.gnome-devel-docs: 3.30.2 -> 3.32.0	2019-04-05 12:13:46 +02:00
extensions	gnomeExtensions.no-title-bar: mark as broken	2019-04-05 12:14:12 +02:00
games	gnome3.hitori: 3.22.4 → 3.31.92	2019-04-05 12:13:51 +02:00
misc	gitg: disable tests for now	2019-04-05 12:14:09 +02:00
default.nix	gnome3.gnome-books: init at 3.32.0	2019-04-05 11:40:34 +02:00
find-latest-version.py	gnome3.updateScript: improve pre-release detection	2018-11-30 21:35:29 +01:00
installer.nix	gnome3: only maintain single GNOME 3 package set (#29397)	2017-09-24 12:15:50 +01:00
update.nix	gnome3.updateScript: reuse gnome-update-script	2018-12-02 00:50:37 +01:00