webmcp
diff Makefile.options @ 333:51b17cee8432
Updated error message for accidentally setting globals
| author | jbe |
|---|---|
| date | Tue Mar 24 17:27:28 2015 +0100 (2015-03-24) |
| parents | cd7fce06440d |
| children | e662554bbc2a |
line diff
| author | jbe |
|---|---|
| date | Tue Mar 24 17:27:28 2015 +0100 (2015-03-24) |
| parents | cd7fce06440d |
| children | e662554bbc2a |