diff options
author | Nicolas Palix | 2013-07-03 16:41:01 +0200 |
---|---|---|
committer | Michal Marek | 2013-07-03 22:58:20 +0200 |
commit | ec97946ed038f4b3faa587bc76152b198805b0c4 (patch) | |
tree | 048774b662e1b340d00decd7072e4f85efb1657c /usr | |
parent | 93f14468491747d6d3efd0b3a42785b1d51a127a (diff) |
Coccinelle: Update information about the minimal version required
The naming convention of options has changed one year ago.
The options have been recently updated in the cocci file
and in scripts/coccicheck. This patch also adds this information
in the documentation.
Signed-off-by: Nicolas Palix <nicolas.palix@imag.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions