Cleaning tool
This commit is contained in:
parent
6e9cd7f490
commit
7ab2efea40
1 changed files with 4 additions and 0 deletions
4
tools/enforce_style.sh
Executable file
4
tools/enforce_style.sh
Executable file
|
@ -0,0 +1,4 @@
|
|||
#!/bin/sh
|
||||
|
||||
find \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/( |\t)+$//g' {} \;
|
||||
find \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/\t/ /g' {} \;
|
Loading…
Reference in a new issue