webmcp
diff Makefile.options @ 314:ba68ef9e7c90
Removed some redundancy from error messages
| author | jbe | 
|---|---|
| date | Sun Mar 22 23:10:07 2015 +0100 (2015-03-22) | 
| parents | cd7fce06440d | 
| children | e662554bbc2a | 
   line diff
| author | jbe | 
|---|---|
| date | Sun Mar 22 23:10:07 2015 +0100 (2015-03-22) | 
| parents | cd7fce06440d | 
| children | e662554bbc2a |