jgm/highlighting-kate — Issue #8: highlighting-kate 0.3 doesn't compile (with ghc 7.2 at least)
Author: peti
Created: 2011-11-27 12:37:43+00:00
State: open

See for example the build error at .