Permalink
Commits on Aug 13, 2017
  1. Add ERT faces

    committed Aug 13, 2017
Commits on Aug 9, 2017
  1. Add markdown-inline-code-face

    committed Aug 9, 2017
Commits on Aug 8, 2017
  1. Merge pull request #89 from drot/master

    Add Circe support
    committed on GitHub Aug 8, 2017
Commits on Aug 6, 2017
  1. add circe support

    drot committed Aug 6, 2017
Commits on Jul 30, 2017
  1. Merge pull request #88 from drot/master

    Add new info+ face
    committed on GitHub Jul 30, 2017
  2. add new info+ face

    drot committed Jul 30, 2017
Commits on Jun 26, 2017
  1. Merge pull request #85 from drot/master

    Add ivy-cursor face
    committed on GitHub Jun 26, 2017
  2. add ivy-cursor face

    drot committed Jun 26, 2017
Commits on Jun 4, 2017
  1. Add symbol-overlay-temp-face

    committed Jun 4, 2017
Commits on Jun 3, 2017
  1. Merge pull request #83 from drot/master

    Add missing Gnus faces
    committed on GitHub Jun 3, 2017
Commits on May 31, 2017
  1. add missing gnus faces

    drot committed May 31, 2017
Commits on May 28, 2017
  1. Merge pull request #82 from drot/master

    Add Gnus face for extracted buffers
    committed on GitHub May 28, 2017
  2. add gnus face for extracted buffers

    drot committed May 28, 2017
  3. Merge pull request #81 from drot/master

    Fix harsh backgrounds for bookmark+
    committed on GitHub May 28, 2017
  4. fix harsh backgrounds for bookmark+

    drot committed May 28, 2017
  5. Merge pull request #80 from purcell/revert-79-master

    Revert "Add form-feed support"
    committed on GitHub May 28, 2017
  6. Revert "Add form-feed support"

    committed on GitHub May 28, 2017
  7. Merge pull request #79 from drot/master

    Add form-feed support
    committed on GitHub May 28, 2017
Commits on May 27, 2017
  1. add form-feed support

    drot committed May 27, 2017
  2. Merge pull request #78 from drot/master

    Remove extra bold Magit faces
    committed on GitHub May 27, 2017
Commits on May 26, 2017
  1. remove extra bold magit faces

    drot committed May 26, 2017
Commits on May 25, 2017
  1. Merge pull request #77 from drot/master

    Add Speedbar support
    committed on GitHub May 25, 2017
Commits on May 24, 2017
  1. add speedbar support

    drot committed May 24, 2017
Commits on May 23, 2017
  1. Merge pull request #76 from drot/master

    Avoid harsh background in wdired as well
    committed on GitHub May 23, 2017
Commits on May 21, 2017
Commits on May 20, 2017
  1. Merge pull request #75 from drot/master

    Replace harsh Ediff backgrounds
    committed on GitHub May 20, 2017
  2. replace harsh ediff backgrounds

    drot committed May 20, 2017
  3. Make diff faces more consistent

    committed May 20, 2017
Commits on May 19, 2017
  1. Fix tooltip faces (see #74)

    committed May 19, 2017
  2. Merge pull request #73 from drot/master

    Add Eshell support
    committed on GitHub May 19, 2017
  3. add eshell support

    drot committed May 19, 2017
  4. Merge pull request #72 from drot/master

    Make diff-refine* faces more subtle
    committed on GitHub May 19, 2017
Commits on May 18, 2017
  1. make diff-refine* faces more subtle

    drot committed May 18, 2017