5.13.0

Tom Willemse

@ryuslash

6c990f9d · Bump version · Mar 16, 2015

Unverified

v5.13.0

- Add faces:
  - dired-flagged
  - dired-header
  - dired-mark
  - dired-marked