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

Impressum / About Us