Remove topkg boilerplate

Since we can now use dune-release

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-07-15 09:12:11 +02:00
parent 3b9cd51d9f
commit 806c05830f
1 changed files with 0 additions and 2 deletions

View File

@ -1,2 +0,0 @@
#use "topfind"
#require "topkg-jbuilder.auto"