commit | 00e615de7e5a70cd9a010b11af0edf7e7aa14421 | [log] [tgz] |
---|---|---|
author | Pierre Joye <pierre.php@gmail.com> | Thu Jan 19 14:08:24 2012 +0100 |
committer | Pierre Joye <pierre.php@gmail.com> | Thu Jan 19 14:08:24 2012 +0100 |
tree | b51a9d755859cdde33ff9daf397069646c0c5159 | |
parent | b2aaf3c2ad23a1b8425930eaad38f76d0e218c71 [diff] |
- s, use, enable, for options name, avoiding conflicts with the names used in the makefile