Revision - 77433f0 - Merge pull request #936 from thejan2009/pango-numeric-char-ref

Revision 77433f0029b6bb07352647a512de810b72568260 authored by Drew DeVault on 07 October 2016, 12:39:50 UTC, committed by GitHub on 07 October 2016, 12:39:50 UTC

Merge pull request #936 from thejan2009/pango-numeric-char-ref

parse pango markup in workspace names (and bugfix)

2 parent s fa11966 + 6f2c396

Files
Changes

Permalinks

File	Mode	Size
json.h	-rw-r--r--	361 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...