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 |