Christopher Vagnetoft 81dea747b2 Doccomment can now override context command name

2016-11-01 16:19:38 +01:00

..

contexts.php

Implemented contexts, optimizations

2016-11-01 15:12:11 +01:00

simple.php

Doccomment can now override context command name

2016-11-01 16:19:38 +01:00