Ondokuz / libghc-highlighting-kate-prof

highlighting-kate library with profiling enabled; profiling libraries