Skip to content
Snippets Groups Projects
Commit dae98608 authored by Martin Stjernholm's avatar Martin Stjernholm
Browse files

Found a clean way to do the face tricks, so the kludgy advice is no 

more. Also made the refdoc highlight a little simpler and faster.

Rev: lib/tools/pike.el:1.13
parent 0bed7572
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 33 additions and 43 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment