Tell git to ignore tools/{dumpobj.opt,ocamlmktop.opt,ocamlmklib.opt}.
Tell git to ignore tools/{dumpobj.opt,ocamlmktop.opt,ocamlmklib.opt}.

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