Skip to content

Commit

Permalink
flambda-backend: Update jane-street-merlin-setup.sh for this repo (#…
Browse files Browse the repository at this point in the history
  • Loading branch information
antalsz authored Aug 7, 2023
1 parent 71879dc commit 0cc5356
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 19 deletions.
4 changes: 0 additions & 4 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,3 @@ _build
/yacc/.gdb_history

/otherlibs/dynlink/natdynlinkops

# Jane Street Merlin support
/.local-merlin-binaries
/.local-ocaml-lib
15 changes: 0 additions & 15 deletions jane-street-merlin-setup.sh

This file was deleted.

0 comments on commit 0cc5356

Please sign in to comment.