Skip to content

Commit

Permalink
Delete .jenkins.sh
Browse files Browse the repository at this point in the history 
It looks like there won't be a useful Jenkins build of Lwt anymore. See

  ocsigen/ocsigen.org-data-deprecated#13 (comment)

[skip ci]
  • Loading branch information
@aantron
aantron committed Jan 12, 2018
1 parent f851775 commit 69e1735
Showing 1 changed file with 0 additions and 19 deletions.
19 changes: 0 additions & 19 deletions .jenkins.sh
View file

This file was deleted.

0 comments on commit 69e1735

Please sign in to comment.