3 Commits

Author	SHA1	Message	Date
Tim Edwards	2af38a4191	Updates from running the fix-ending-whitespace script.	2020-05-23 17:13:14 -04:00
Tim Edwards	e073394430	Applied another patch by Iain McNally that restores the obscure ... function that was available in versions 7.1 and earlier that allows the use of the command "erase errors" to remove DRC error paint (only when the DRC checker is off, of course).	2018-08-20 22:43:34 -04:00
Tim Edwards	231a299b16	Initial commit at Tue Apr 25 08:41:48 EDT 2017 by tim on stravinsky	2017-04-25 08:41:48 -04:00