Skip to content

Commit

Permalink
Packaging: delete dist.sh
Browse files Browse the repository at this point in the history 
It is for the OASIS build system, and obsolete since the port to
Jbuilder (#374).

[skip ci]
  • Loading branch information
@aantron
aantron committed Jul 25, 2017
1 parent a246e22 commit 3ca748e
Showing 1 changed file with 0 additions and 90 deletions.
90 changes: 0 additions & 90 deletions src/util/dist.sh
View file

This file was deleted.

0 comments on commit 3ca748e

Please sign in to comment.