diff options
Diffstat (limited to 'third_party/git/contrib/coccinelle/preincr.cocci')
| -rw-r--r-- | third_party/git/contrib/coccinelle/preincr.cocci | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/third_party/git/contrib/coccinelle/preincr.cocci b/third_party/git/contrib/coccinelle/preincr.cocci deleted file mode 100644 index 7fe1e8d2d9..0000000000 --- a/third_party/git/contrib/coccinelle/preincr.cocci +++ /dev/null @@ -1,5 +0,0 @@ -@ preincrement @ -identifier i; -@@ -- ++i > 1 -+ i++ |