← Back to branch summary

~widelands-dev/widelands/map-filter-dropdowns

Viewing all changes in revision 9144.

  • Committer: GunChleoc
  • Date: 2019-06-02 06:16:49 UTC
  • Revision ID: fios@foramnagaidhlig.net-20190602061649-2gd1yps4oe04bdyx
Add richtext_escape back in.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: