diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2018-12-13 07:15:12 -0800 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2018-12-13 07:15:12 -0800 |
commit | 48bef61537178f05c1c2c7510f75df048de662e8 (patch) | |
tree | c66250058d14306aabd7d6b0bbb5ba56d665f91a /BUILD | |
parent | 7ff8413a0317566d67b5b4abcb6ee2b72e9d465b (diff) | |
parent | 2c0e0054a85651ff20067ec504844a4611097041 (diff) |
Merge branch 'master' into defcleanup
Diffstat (limited to 'BUILD')
-rw-r--r-- | BUILD | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -302,7 +302,6 @@ lua_library( name = "lua/upbc_lib", srcs = [ "tools/dump_cinit.lua", - "tools/make_c_api.lua", ], luadeps = [ "lua/upb", |