~widelands-dev/widelands/bug-1826744-lobby-commands

Viewing all changes in revision 9137.

  • Committer: Wideland's Bunnybot
  • Date: 2019-06-02 09:28:44 UTC
  • mfrom: (9135.2.1 resize_caret)
  • Revision ID: bunnybot@widelands.org-20190602092844-zfcheggaeyv4e1ed
Merged lp:~widelands-dev/widelands/resize_caret:
increased caret to 14px

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: