chore(third_party): Remove ormolu
This commit is contained in:
parent
f99fc009fc
commit
a7342448bb
1 changed files with 0 additions and 8 deletions
8
third_party/ormolu/default.nix
vendored
8
third_party/ormolu/default.nix
vendored
|
@ -1,8 +0,0 @@
|
|||
{ pkgs, ... }:
|
||||
|
||||
import (pkgs.fetchFromGitHub {
|
||||
owner = "tweag";
|
||||
repo = "ormolu";
|
||||
rev = "a7076c0f83e5c06ea9067b71171859fa2ba8afd9";
|
||||
sha256 = "1p4n2ja4ciw3qfskn65ggpy37mvgf2sslxqmqn8s8jjarnqcyfny";
|
||||
}) { inherit pkgs; }
|
Loading…
Reference in a new issue