[ocrfeeder] Created tag release_0.7.2

[Joaquim Manuel Pereira Rocha <jrocha src gnome org>]

The unsigned tag 'release_0.7.2' was created.

Tagger: Joaquim Rocha <jrocha igalia com>
Date: Mon Jan 3 09:21:12 2011 +0100

    Tag for release 0.7.2

Changes since the last tag 'release_0.7.1a':

Alberto Garcia (1):
      Update manpages to reflect all available command-line options

Joaquim Rocha (7):
      Added the user documentation
      Added autotools
      Removed setup.py and MANIFEST.in now that autotool are being used
      Fix images in user documentation
      Add action to open help contents
      Fix menu items sensitiveness after recognizing a document (gb#635297)
      Update for release 0.7.2

Joe Hansen (1):
      Updated Danish translation

Lucian Adrian Grijincu (1):
      Updated Romanian translation