Florian Müllner 84cff89205 docs: Remove obsolete ShellRecorder include ... It joined the invisible choir, so trying to build with gtk-docs enabled is currently broken (mea culpa for not having caught that during distcheck). https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1448		2020-09-25 18:37:22 +02:00
..
reference	docs: Remove obsolete ShellRecorder include	2020-09-25 18:37:22 +02:00