Are you sure you want to delete the file flags.cocci?
| Name | Size | Permission | Action |
|---|---|---|---|
| call_kern.cocci | 2179 bytes | 0644 | |
| double_lock.cocci | 1575 bytes | 0644 | |
| flags.cocci | 1589 bytes | 0644 | |
| mini_lock.cocci | 1791 bytes | 0644 |
Are you sure you want to delete the file flags.cocci?
| Name | Size | Permission | Action |
|---|---|---|---|
| call_kern.cocci | 2179 bytes | 0644 | |
| double_lock.cocci | 1575 bytes | 0644 | |
| flags.cocci | 1589 bytes | 0644 | |
| mini_lock.cocci | 1791 bytes | 0644 |