diff --git a/install_dev b/install_dev deleted file mode 100755 index d7c1b2678758740302feb841932335f2ab800481..0000000000000000000000000000000000000000 --- a/install_dev +++ /dev/null @@ -1,2 +0,0 @@ -ocamlbuild -use-ocamlfind -I src_ocaml -tag-line "true: package(libgrew_dev)" grewpy.native -cp grewpy.native ~/.local/bin/grewpy_dev