diff options
| author | Pierre Joye <pierre.php@gmail.com> | 2012-01-19 14:08:24 +0100 |
|---|---|---|
| committer | Pierre Joye <pierre.php@gmail.com> | 2012-01-19 14:08:24 +0100 |
| commit | 00e615de7e5a70cd9a010b11af0edf7e7aa14421 (patch) | |
| tree | b51a9d755859cdde33ff9daf397069646c0c5159 /GIT-INFO | |
| parent | b2aaf3c2ad23a1b8425930eaad38f76d0e218c71 (diff) | |
- s, use, enable, for options name, avoiding conflicts with the names used in the makefile
Diffstat (limited to 'GIT-INFO')
0 files changed, 0 insertions, 0 deletions