~annis/annis/annis22

Viewing all changes in revision 719.

  • Committer: Thomas Krause
  • Date: 2012-03-02 11:04:10 UTC
  • Revision ID: thomas@berlin-reloaded.de-20120302110410-ztld8iqfs5f0zc3c
change shortcut for history button  [cherry pick]

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: