Merge pull request #185281 from trofi/flatbuffers-drop-unused

This commit is contained in:
Sandro 2022-08-05 19:34:26 +02:00 committed by GitHub
commit 68a2cf6583
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,6 @@
{ lib
, stdenv
, fetchFromGitHub
, fetchpatch
, cmake
, python3
}: