endlessm/gnome-user-docs — pull request #12 by mattdangerw (2014-12-19 07:05:32+00:00)
Title: Shell/4235

A small one for once! Allows titles to have different pages on different guides.
[endlessm/eos-shell#4235]