Sign in
gerrit
/
gerrit
/
17d85f12fd05ab1c083ddaf2c2ccd87cf440b5e4
/
.
/
lib
/
jgit
/
BUILD
blob: f0d25e6638e67c65ec21d4524e774c2ab2fd553f [
file
] [
log
] [
blame
]
config_setting
(
name
=
"dev"
,
values
=
{
"define"
:
"jgit-dev=1"
,
},
visibility
=
[
"//visibility:public"
],
)