[gnome-user-docs] (4 commits) Non-fast-forward update to branch wip/gitignore

[David King <davidk src gnome org>]

The branch 'wip/gitignore' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 http://live.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  7ff7a85... Ignore more generated files in .gitignore

Commits added to the branch:

  c082698... Revert "custom-default-values.page -> dconf-custom-default- (*)
  3c73bfb... "Applications menu" has been tagged to be linked to the she (*)
  e9192b0... The tag for Super key has been changed so that there is at  (*)
  965c9b1... Ignore more generated files in .gitignore

(*) This commit already existed in another branch; no separate mail sent