Go to file
2009-07-12 01:38:28 +12:00
plugin reset the next sign id after clearing signs 2009-07-12 01:35:29 +12:00
syntax_checkers check the user has grep installed for html checker 2009-07-12 01:38:28 +12:00