From 5ba0e4418a83b542fcaa175fe1b796f2ec716528 Mon Sep 17 00:00:00 2001 From: Philippe Veber Date: Fri, 7 Jun 2019 19:36:03 +0200 Subject: [PATCH] remove topkg script --- CHANGES.md | 1 - pkg/pkg.ml | 2 -- 2 files changed, 3 deletions(-) delete mode 100644 pkg/pkg.ml diff --git a/CHANGES.md b/CHANGES.md index a3c220b..745756e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -8,7 +8,6 @@ ocaml-r-0.2.0 2019-06-07 - a few more wrappers in base, stats and graphics - improved stub generation - API documentation -- topkg packaging ocaml-r-0.1.1 2018-11-18 ------------------------ diff --git a/pkg/pkg.ml b/pkg/pkg.ml deleted file mode 100644 index 1a04c2b..0000000 --- a/pkg/pkg.ml +++ /dev/null @@ -1,2 +0,0 @@ -#use "topfind" -#require "topkg-jbuilder.auto"