check-typo: no header needed for files shorter than 10 lines
check-typo: no header needed for files shorter than 10 lines

msprotz/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,yunxing/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml