From 806c05830f0ea585b2a3a18bb196eb258118d6c1 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Sun, 15 Jul 2018 09:12:11 +0200
Subject: [PATCH] Remove topkg boilerplate

Since we can now 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"