Skip to content
Snippets Groups Projects
Commit 1e2e7219 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[wp] Cint simplifier: no semantical change

parent 4f639086
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 219 additions and 203 deletions
src/plugins/wp/Cint.ml
+ 219
− 203
View file @ 1e2e7219
This diff is collapsed.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment