Nicolas Palix 93f1446849 Coccinelle: Update the options used to the new option scheme 11 jaren geleden
..
call_kern.cocci 93f1446849 Coccinelle: Update the options used to the new option scheme 11 jaren geleden
double_lock.cocci 93f1446849 Coccinelle: Update the options used to the new option scheme 11 jaren geleden
flags.cocci 93f1446849 Coccinelle: Update the options used to the new option scheme 11 jaren geleden
mini_lock.cocci 93f1446849 Coccinelle: Update the options used to the new option scheme 11 jaren geleden