~tapaal-contributor/tapaal/copy-paste-dev-branch

Viewing all changes in revision 952.5.187.

  • Committer: Kenneth Yrke Joergensen
  • Date: 2018-07-04 11:38:37 UTC
  • mto: This revision was merged to the branch mainline in revision 965.
  • Revision ID: kenneth@yrke.dk-20180704113837-5maf4bhdq5wgv5mo
Fixed some actions using hardcoded ctrl as shortcutkey

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: