From 3b9a188bbead49c84dd7eec76295db14b046b80c Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 29 Jul 2018 10:47:50 +0200
Subject: [PATCH] Remove pkg.ml because we can use dune-release

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
---
 pkg/pkg.ml | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 pkg/pkg.ml

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"