Remove unused files

Signed-off-by: Rudi Grinberg <[email protected]>
rgrinberg · Jan 4, 2019 · 16aae89 · 16aae89
1 parent d7006c4
commit 16aae89
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 7 deletions.
diff --git a/VERSION b/VERSION
diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev
diff --git a/pkg/pkg.ml b/pkg/pkg.ml