~purejava/+junk/folder-header-width

Viewing all changes in revision 2202.

  • Committer: Ralph Plawetzki
  • Date: 2016-12-15 14:03:03 UTC
  • Revision ID: ralph@purejava.org-20161215140303-btw8simr7p3da4ov
Do not fiddle with folder_header width.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: