Martin Grenfell 378f74287f render new signs before deleting the old ones ... this stops the sign column from flickering on and off		2009-07-14 13:47:46 +12:00
plugin	render new signs before deleting the old ones	2009-07-14 13:47:46 +12:00
syntax_checkers	use lmake instead of make	2009-07-14 09:53:36 +12:00