webmcp
diff Makefile.options @ 41:0bbfee4d4aed
New functions trace.disable() and trace.is_disabled()
| author | jbe |
|---|---|
| date | Sat Oct 16 17:51:18 2010 +0200 (2010-10-16) |
| parents | 1da1078a87b1 |
| children | 5ce77ccdd550 |
line diff
| author | jbe |
|---|---|
| date | Sat Oct 16 17:51:18 2010 +0200 (2010-10-16) |
| parents | 1da1078a87b1 |
| children | 5ce77ccdd550 |