From 7dc094173b641c78a449395cc6f28a5e52b6fe64 Mon Sep 17 00:00:00 2001
From: Vincent Ambo <tazjin@google.com>
Date: Wed, 27 May 2020 01:25:11 +0100
Subject: chore(3p): Remove glog override

This library is being vendored, hence the override doesn't matter
anymore.
---
 third_party/glog/default.nix | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 third_party/glog/default.nix

(limited to 'third_party/glog/default.nix')

diff --git a/third_party/glog/default.nix b/third_party/glog/default.nix
deleted file mode 100644
index c51724e27b..0000000000
--- a/third_party/glog/default.nix
+++ /dev/null
@@ -1,15 +0,0 @@
-{ pkgs, ... }:
-
-pkgs.originals.glog.overrideAttrs(old: {
-  version = "master-20200518";
-
-  # packaged version has a patch that is now in master.
-  patches = [];
-
-  src = pkgs.fetchFromGitHub {
-    owner = "google";
-    repo = "glog";
-    rev = "0a2e5931bd5ff22fd3bf8999eb8ce776f159cda6";
-    sha256 = "08yih0hc63j02p0ms4ydbgf2c13v2c7knjzp3qdin0v3sng896wg";
-  };
-})
-- 
cgit 1.4.1