Skip to content

Commit

Permalink
Remove pkg directory
Browse files Browse the repository at this point in the history 
It's no longer needed with dune-release
  • Loading branch information
Jeremie Dimino committed Jun 6, 2018
1 parent 12b652a commit 3088118
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions pkg/pkg.ml
View file

This file was deleted.

0 comments on commit 3088118

Please sign in to comment.